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.08 c [STEP] solving with SCIP
299.29/300.12 c [STEP] preprocessing done, loading into solver
299.29/300.12 c [STEP] solving
299.29/300.12 c #variables 479 #constraints 478
299.29/300.12 c SMALL=int, LARGE=long long
299.29/300.12 c bounds - >= 0 @ 299.21
299.29/300.12 c stratification level: 0
319.04/320.00 c bounds - >= 55 @ 299.21
319.04/320.00 c bounds - >= 56 @ 299.211
319.04/320.00 c bounds - >= 57 @ 299.211
319.04/320.00 c bounds - >= 58 @ 299.211
319.04/320.00 c bounds - >= 59 @ 299.211
319.04/320.00 c bounds - >= 60 @ 299.211
319.04/320.00 c bounds - >= 61 @ 299.211
319.04/320.00 c bounds - >= 62 @ 299.211
319.04/320.00 c bounds - >= 63 @ 299.211
319.04/320.00 c bounds - >= 64 @ 299.211
319.04/320.00 c bounds - >= 65 @ 299.211
319.04/320.00 c bounds - >= 66 @ 299.211
319.04/320.00 c bounds - >= 67 @ 299.212
319.04/320.00 c bounds - >= 68 @ 299.212
319.04/320.00 c bounds - >= 69 @ 299.212
319.04/320.00 c bounds - >= 70 @ 299.212
319.04/320.00 c bounds - >= 71 @ 299.212
319.04/320.00 c bounds - >= 72 @ 299.212
319.04/320.00 c bounds - >= 73 @ 299.212
319.04/320.00 c bounds - >= 74 @ 299.212
319.04/320.00 c bounds - >= 75 @ 299.212
319.04/320.00 c bounds - >= 76 @ 299.213
319.04/320.00 c bounds - >= 77 @ 299.213
319.04/320.00 c bounds - >= 78 @ 299.213
319.04/320.00 c bounds - >= 79 @ 299.213
319.04/320.00 c bounds - >= 80 @ 299.213
319.04/320.00 c bounds - >= 81 @ 299.213
319.04/320.00 c bounds - >= 82 @ 299.213
319.04/320.00 c bounds - >= 83 @ 299.213
319.04/320.00 c bounds - >= 84 @ 299.213
319.04/320.00 c bounds - >= 85 @ 299.213
319.04/320.00 c bounds - >= 86 @ 299.213
319.04/320.00 c bounds - >= 87 @ 299.213
319.04/320.00 c bounds - >= 88 @ 299.213
319.04/320.00 c bounds - >= 89 @ 299.213
319.04/320.00 c bounds - >= 90 @ 299.213
319.04/320.00 c bounds - >= 91 @ 299.213
319.04/320.00 c bounds - >= 92 @ 299.213
319.04/320.00 c bounds - >= 93 @ 299.213
319.04/320.00 c bounds - >= 94 @ 299.214
319.04/320.00 c bounds - >= 95 @ 299.214
319.04/320.00 c bounds - >= 96 @ 299.214
319.04/320.00 c bounds - >= 97 @ 299.214
319.04/320.00 c bounds - >= 98 @ 299.214
319.04/320.00 c bounds - >= 99 @ 299.214
319.04/320.00 c bounds - >= 100 @ 299.214
319.04/320.00 c bounds - >= 101 @ 299.214
319.04/320.00 c bounds - >= 102 @ 299.215
319.04/320.00 c bounds - >= 103 @ 299.215
319.04/320.00 c bounds - >= 104 @ 299.215
319.04/320.00 c bounds - >= 105 @ 299.215
319.04/320.00 c bounds - >= 106 @ 299.215
319.04/320.00 c bounds - >= 107 @ 299.215
319.04/320.00 c bounds - >= 108 @ 299.215
319.04/320.00 c bounds - >= 109 @ 299.215
319.04/320.00 c bounds - >= 110 @ 299.215
319.04/320.00 c bounds - >= 111 @ 299.216
319.04/320.00 c bounds - >= 112 @ 299.216
319.04/320.00 c bounds - >= 113 @ 299.216
319.04/320.00 c bounds - >= 114 @ 299.216
319.04/320.00 c bounds - >= 115 @ 299.216
319.04/320.00 c bounds - >= 116 @ 299.216
319.04/320.00 c bounds - >= 117 @ 299.216
319.04/320.00 c bounds - >= 118 @ 299.216
319.04/320.00 c bounds - >= 119 @ 299.216
319.04/320.00 c bounds - >= 120 @ 299.216
319.04/320.00 c bounds - >= 121 @ 299.216
319.04/320.00 c bounds - >= 122 @ 299.216
319.04/320.00 c bounds - >= 123 @ 299.216
319.04/320.00 c bounds - >= 124 @ 299.216
319.04/320.00 c bounds - >= 125 @ 299.216
319.04/320.00 c bounds - >= 126 @ 299.216
319.04/320.00 c bounds - >= 127 @ 299.216
319.04/320.00 c bounds - >= 128 @ 299.216
319.04/320.00 c bounds - >= 129 @ 299.216
319.04/320.00 c bounds - >= 130 @ 299.216
319.04/320.00 c bounds - >= 131 @ 299.216
319.04/320.00 c bounds - >= 132 @ 299.216
319.04/320.00 c #Conflicts: 1000 | #Constraints: 1618
319.04/320.00 c #Conflicts: 2000 | #Constraints: 2618
319.04/320.00 c INPROCESSING
319.04/320.00 c GARBAGE COLLECT
319.04/320.00 c #Conflicts: 3000 | #Constraints: 2542
319.04/320.00 c #Conflicts: 4000 | #Constraints: 3542
319.04/320.00 c INPROCESSING
319.04/320.00 c GARBAGE COLLECT
319.04/320.00 c #Conflicts: 5000 | #Constraints: 2947
319.04/320.00 c #Conflicts: 6000 | #Constraints: 3947
319.04/320.00 c INPROCESSING
319.04/320.00 c GARBAGE COLLECT
319.04/320.00 c #Conflicts: 7000 | #Constraints: 2950
319.04/320.00 c #Conflicts: 8000 | #Constraints: 3950
319.04/320.00 c #Conflicts: 9000 | #Constraints: 4950
319.04/320.00 c INPROCESSING
319.04/320.00 c GARBAGE COLLECT
319.04/320.00 c #Conflicts: 10000 | #Constraints: 3652
319.04/320.00 c #Conflicts: 11000 | #Constraints: 4652
319.04/320.00 c #Conflicts: 12000 | #Constraints: 5652
319.04/320.00 c INPROCESSING
319.04/320.00 c GARBAGE COLLECT
319.04/320.00 c #Conflicts: 13000 | #Constraints: 4105
319.04/320.00 c #Conflicts: 14000 | #Constraints: 5105
319.04/320.00 c #Conflicts: 15000 | #Constraints: 6105
319.04/320.00 c INPROCESSING
319.04/320.00 c GARBAGE COLLECT
319.04/320.00 c #Conflicts: 16000 | #Constraints: 4333
319.04/320.00 c #Conflicts: 17000 | #Constraints: 5333
319.04/320.00 c #Conflicts: 18000 | #Constraints: 6333
319.04/320.00 c INPROCESSING
319.04/320.00 c GARBAGE COLLECT
319.04/320.00 c #Conflicts: 19000 | #Constraints: 4340
319.04/320.00 c #Conflicts: 20000 | #Constraints: 5340
319.04/320.00 c #Conflicts: 21000 | #Constraints: 6340
319.04/320.00 c INPROCESSING
319.04/320.00 c GARBAGE COLLECT
319.04/320.00 c #Conflicts: 22000 | #Constraints: 4148
319.04/320.00 c #Conflicts: 23000 | #Constraints: 5148
319.04/320.00 c #Conflicts: 24000 | #Constraints: 6148
319.04/320.00 c #Conflicts: 25000 | #Constraints: 7148
319.04/320.00 c INPROCESSING
319.04/320.00 c GARBAGE COLLECT
319.04/320.00 c #Conflicts: 26000 | #Constraints: 4748
319.04/320.00 c #Conflicts: 27000 | #Constraints: 5748
319.04/320.00 c #Conflicts: 28000 | #Constraints: 6748
319.04/320.00 c #Conflicts: 29000 | #Constraints: 7748
319.04/320.00 c INPROCESSING
319.04/320.00 c GARBAGE COLLECT
319.04/320.00 c #Conflicts: 30000 | #Constraints: 5143
319.04/320.00 c #Conflicts: 31000 | #Constraints: 6143
319.04/320.00 c #Conflicts: 32000 | #Constraints: 7143
432.45/433.65 c #Conflicts: 33000 | #Constraints: 8143
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 34000 | #Constraints: 5349
432.45/433.65 c #Conflicts: 35000 | #Constraints: 6349
432.45/433.65 c #Conflicts: 36000 | #Constraints: 7349
432.45/433.65 c #Conflicts: 37000 | #Constraints: 8349
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 38000 | #Constraints: 5349
432.45/433.65 c #Conflicts: 39000 | #Constraints: 6349
432.45/433.65 c #Conflicts: 40000 | #Constraints: 7349
432.45/433.65 c #Conflicts: 41000 | #Constraints: 8349
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 42000 | #Constraints: 5150
432.45/433.65 c #Conflicts: 43000 | #Constraints: 6150
432.45/433.65 c #Conflicts: 44000 | #Constraints: 7150
432.45/433.65 c #Conflicts: 45000 | #Constraints: 8150
432.45/433.65 c #Conflicts: 46000 | #Constraints: 9150
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 47000 | #Constraints: 5748
432.45/433.65 c #Conflicts: 48000 | #Constraints: 6748
432.45/433.65 c #Conflicts: 49000 | #Constraints: 7748
432.45/433.65 c #Conflicts: 50000 | #Constraints: 8748
432.45/433.65 c #Conflicts: 51000 | #Constraints: 9748
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 52000 | #Constraints: 6152
432.45/433.65 c #Conflicts: 53000 | #Constraints: 7152
432.45/433.65 c #Conflicts: 54000 | #Constraints: 8152
432.45/433.65 c #Conflicts: 55000 | #Constraints: 9152
432.45/433.65 c #Conflicts: 56000 | #Constraints: 10152
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 57000 | #Constraints: 6348
432.45/433.65 c #Conflicts: 58000 | #Constraints: 7348
432.45/433.65 c #Conflicts: 59000 | #Constraints: 8348
432.45/433.65 c #Conflicts: 60000 | #Constraints: 9348
432.45/433.65 c #Conflicts: 61000 | #Constraints: 10348
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 62000 | #Constraints: 6355
432.45/433.65 c #Conflicts: 63000 | #Constraints: 7355
432.45/433.65 c #Conflicts: 64000 | #Constraints: 8355
432.45/433.65 c #Conflicts: 65000 | #Constraints: 9355
432.45/433.65 c #Conflicts: 66000 | #Constraints: 10355
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 67000 | #Constraints: 6152
432.45/433.65 c #Conflicts: 68000 | #Constraints: 7152
432.45/433.65 c #Conflicts: 69000 | #Constraints: 8152
432.45/433.65 c #Conflicts: 70000 | #Constraints: 9152
432.45/433.65 c #Conflicts: 71000 | #Constraints: 10152
432.45/433.65 c #Conflicts: 72000 | #Constraints: 11152
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 73000 | #Constraints: 6752
432.45/433.65 c #Conflicts: 74000 | #Constraints: 7752
432.45/433.65 c #Conflicts: 75000 | #Constraints: 8752
432.45/433.65 c #Conflicts: 76000 | #Constraints: 9752
432.45/433.65 c #Conflicts: 77000 | #Constraints: 10752
432.45/433.65 c #Conflicts: 78000 | #Constraints: 11752
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 79000 | #Constraints: 7153
432.45/433.65 c #Conflicts: 80000 | #Constraints: 8153
432.45/433.65 c #Conflicts: 81000 | #Constraints: 9153
432.45/433.65 c #Conflicts: 82000 | #Constraints: 10153
432.45/433.65 c #Conflicts: 83000 | #Constraints: 11153
432.45/433.65 c #Conflicts: 84000 | #Constraints: 12153
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 85000 | #Constraints: 7354
432.45/433.65 c #Conflicts: 86000 | #Constraints: 8354
432.45/433.65 c #Conflicts: 87000 | #Constraints: 9354
432.45/433.65 c #Conflicts: 88000 | #Constraints: 10354
432.45/433.65 c #Conflicts: 89000 | #Constraints: 11354
432.45/433.65 c #Conflicts: 90000 | #Constraints: 12354
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 91000 | #Constraints: 7352
432.45/433.65 c #Conflicts: 92000 | #Constraints: 8352
432.45/433.65 c #Conflicts: 93000 | #Constraints: 9352
432.45/433.65 c #Conflicts: 94000 | #Constraints: 10352
432.45/433.65 c #Conflicts: 95000 | #Constraints: 11352
432.45/433.65 c #Conflicts: 96000 | #Constraints: 12352
432.45/433.65 c INPROCESSING
432.45/433.65 c GARBAGE COLLECT
432.45/433.65 c #Conflicts: 97000 | #Constraints: 7151
432.45/433.65 c #Conflicts: 98000 | #Constraints: 8151
432.45/433.65 c #Conflicts: 99000 | #Constraints: 9151
432.45/433.65 c #Conflicts: 100000 | #Constraints: 10151
432.45/433.65 c #Conflicts: 101000 | #Constraints: 11151
432.45/433.65 c #Conflicts: 102000 | #Constraints: 12151
609.72/611.38 c #Conflicts: 103000 | #Constraints: 13151
609.72/611.38 c INPROCESSING
609.72/611.38 c GARBAGE COLLECT
609.72/611.38 c #Conflicts: 104000 | #Constraints: 7746
609.72/611.38 c #Conflicts: 105000 | #Constraints: 8746
609.72/611.38 c #Conflicts: 106000 | #Constraints: 9746
609.72/611.38 c #Conflicts: 107000 | #Constraints: 10746
609.72/611.38 c #Conflicts: 108000 | #Constraints: 11746
609.72/611.38 c #Conflicts: 109000 | #Constraints: 12746
609.72/611.38 c #Conflicts: 110000 | #Constraints: 13746
609.72/611.38 c INPROCESSING
609.72/611.38 c GARBAGE COLLECT
609.72/611.38 c #Conflicts: 111000 | #Constraints: 8154
609.72/611.38 c #Conflicts: 112000 | #Constraints: 9154
609.72/611.38 c #Conflicts: 113000 | #Constraints: 10154
609.72/611.38 c #Conflicts: 114000 | #Constraints: 11154
609.72/611.38 c #Conflicts: 115000 | #Constraints: 12154
609.72/611.38 c #Conflicts: 116000 | #Constraints: 13154
609.72/611.38 c #Conflicts: 117000 | #Constraints: 14154
609.72/611.38 c INPROCESSING
609.72/611.38 c GARBAGE COLLECT
609.72/611.38 c #Conflicts: 118000 | #Constraints: 8355
609.72/611.38 c #Conflicts: 119000 | #Constraints: 9355
609.72/611.38 c #Conflicts: 120000 | #Constraints: 10355
609.72/611.38 c #Conflicts: 121000 | #Constraints: 11355
609.72/611.38 c #Conflicts: 122000 | #Constraints: 12355
609.72/611.38 c #Conflicts: 123000 | #Constraints: 13355
609.72/611.38 c #Conflicts: 124000 | #Constraints: 14355
609.72/611.38 c INPROCESSING
609.72/611.38 c GARBAGE COLLECT
609.72/611.38 c #Conflicts: 125000 | #Constraints: 8349
609.72/611.38 c #Conflicts: 126000 | #Constraints: 9349
609.72/611.38 c #Conflicts: 127000 | #Constraints: 10349
609.72/611.38 c #Conflicts: 128000 | #Constraints: 11349
609.72/611.38 c #Conflicts: 129000 | #Constraints: 12349
609.72/611.38 c #Conflicts: 130000 | #Constraints: 13349
609.72/611.38 c #Conflicts: 131000 | #Constraints: 14349
609.72/611.38 c INPROCESSING
609.72/611.38 c GARBAGE COLLECT
609.72/611.38 c #Conflicts: 132000 | #Constraints: 8149
609.72/611.38 c #Conflicts: 133000 | #Constraints: 9149
609.72/611.38 c #Conflicts: 134000 | #Constraints: 10149
609.72/611.38 c #Conflicts: 135000 | #Constraints: 11149
609.72/611.38 c #Conflicts: 136000 | #Constraints: 12149
609.72/611.38 c #Conflicts: 137000 | #Constraints: 13149
609.72/611.38 c #Conflicts: 138000 | #Constraints: 14149
609.72/611.38 c #Conflicts: 139000 | #Constraints: 15149
609.72/611.38 c INPROCESSING
609.72/611.38 c GARBAGE COLLECT
609.72/611.38 c #Conflicts: 140000 | #Constraints: 8747
609.72/611.38 c #Conflicts: 141000 | #Constraints: 9747
609.72/611.38 c #Conflicts: 142000 | #Constraints: 10747
609.72/611.38 c #Conflicts: 143000 | #Constraints: 11747
609.72/611.38 c #Conflicts: 144000 | #Constraints: 12747
609.72/611.38 c #Conflicts: 145000 | #Constraints: 13747
609.72/611.38 c #Conflicts: 146000 | #Constraints: 14747
609.72/611.38 c #Conflicts: 147000 | #Constraints: 15747
609.72/611.38 c INPROCESSING
609.72/611.38 c GARBAGE COLLECT
609.72/611.38 c #Conflicts: 148000 | #Constraints: 9154
609.72/611.38 c #Conflicts: 149000 | #Constraints: 10154
609.72/611.38 c #Conflicts: 150000 | #Constraints: 11154
609.72/611.38 c #Conflicts: 151000 | #Constraints: 12154
609.72/611.38 c #Conflicts: 152000 | #Constraints: 13154
609.72/611.38 c #Conflicts: 153000 | #Constraints: 14154
609.72/611.38 c #Conflicts: 154000 | #Constraints: 15154
609.72/611.38 c #Conflicts: 155000 | #Constraints: 16154
609.72/611.38 c INPROCESSING
609.72/611.38 c GARBAGE COLLECT
609.72/611.38 c #Conflicts: 156000 | #Constraints: 9352
609.72/611.38 c #Conflicts: 157000 | #Constraints: 10352
609.72/611.38 c #Conflicts: 158000 | #Constraints: 11352
609.72/611.38 c #Conflicts: 159000 | #Constraints: 12352
609.72/611.38 c #Conflicts: 160000 | #Constraints: 13352
609.72/611.38 c #Conflicts: 161000 | #Constraints: 14352
609.72/611.38 c #Conflicts: 162000 | #Constraints: 15352
609.72/611.38 c #Conflicts: 163000 | #Constraints: 16352
609.72/611.38 c INPROCESSING
609.72/611.38 c GARBAGE COLLECT
609.72/611.38 c #Conflicts: 164000 | #Constraints: 9352
609.72/611.38 c #Conflicts: 165000 | #Constraints: 10352
609.72/611.38 c #Conflicts: 166000 | #Constraints: 11352
609.72/611.38 c #Conflicts: 167000 | #Constraints: 12352
609.72/611.38 c #Conflicts: 168000 | #Constraints: 13352
609.72/611.38 c #Conflicts: 169000 | #Constraints: 14352
609.72/611.38 c #Conflicts: 170000 | #Constraints: 15352
609.72/611.38 c #Conflicts: 171000 | #Constraints: 16352
609.72/611.38 c INPROCESSING
609.72/611.38 c GARBAGE COLLECT
609.72/611.38 c #Conflicts: 172000 | #Constraints: 9153
609.72/611.38 c #Conflicts: 173000 | #Constraints: 10153
609.72/611.38 c #Conflicts: 174000 | #Constraints: 11153
609.72/611.38 c #Conflicts: 175000 | #Constraints: 12153
828.00/830.18 c #Conflicts: 176000 | #Constraints: 13153
828.00/830.18 c #Conflicts: 177000 | #Constraints: 14153
828.00/830.18 c #Conflicts: 178000 | #Constraints: 15153
828.00/830.18 c #Conflicts: 179000 | #Constraints: 16153
828.00/830.18 c #Conflicts: 180000 | #Constraints: 17153
828.00/830.18 c INPROCESSING
828.00/830.18 c GARBAGE COLLECT
828.00/830.18 c #Conflicts: 181000 | #Constraints: 9756
828.00/830.18 c #Conflicts: 182000 | #Constraints: 10756
828.00/830.18 c #Conflicts: 183000 | #Constraints: 11756
828.00/830.18 c #Conflicts: 184000 | #Constraints: 12756
828.00/830.18 c #Conflicts: 185000 | #Constraints: 13756
828.00/830.18 c #Conflicts: 186000 | #Constraints: 14756
828.00/830.18 c #Conflicts: 187000 | #Constraints: 15756
828.00/830.18 c #Conflicts: 188000 | #Constraints: 16756
828.00/830.18 c #Conflicts: 189000 | #Constraints: 17756
828.00/830.18 c INPROCESSING
828.00/830.18 c GARBAGE COLLECT
828.00/830.18 c #Conflicts: 190000 | #Constraints: 10158
828.00/830.18 c #Conflicts: 191000 | #Constraints: 11158
828.00/830.18 c #Conflicts: 192000 | #Constraints: 12158
828.00/830.18 c #Conflicts: 193000 | #Constraints: 13158
828.00/830.18 c #Conflicts: 194000 | #Constraints: 14158
828.00/830.18 c #Conflicts: 195000 | #Constraints: 15158
828.00/830.18 c #Conflicts: 196000 | #Constraints: 16158
828.00/830.18 c #Conflicts: 197000 | #Constraints: 17158
828.00/830.18 c #Conflicts: 198000 | #Constraints: 18158
828.00/830.18 c INPROCESSING
828.00/830.18 c GARBAGE COLLECT
828.00/830.18 c #Conflicts: 199000 | #Constraints: 10363
828.00/830.18 c #Conflicts: 200000 | #Constraints: 11363
828.00/830.18 c #Conflicts: 201000 | #Constraints: 12363
828.00/830.18 c #Conflicts: 202000 | #Constraints: 13363
828.00/830.18 c #Conflicts: 203000 | #Constraints: 14363
828.00/830.18 c #Conflicts: 204000 | #Constraints: 15363
828.00/830.18 c #Conflicts: 205000 | #Constraints: 16363
828.00/830.18 c #Conflicts: 206000 | #Constraints: 17363
828.00/830.18 c #Conflicts: 207000 | #Constraints: 18363
828.00/830.18 c INPROCESSING
828.00/830.18 c GARBAGE COLLECT
828.00/830.18 c #Conflicts: 208000 | #Constraints: 10360
828.00/830.18 c #Conflicts: 209000 | #Constraints: 11360
828.00/830.18 c #Conflicts: 210000 | #Constraints: 12360
828.00/830.18 c #Conflicts: 211000 | #Constraints: 13360
828.00/830.18 c #Conflicts: 212000 | #Constraints: 14360
828.00/830.18 c #Conflicts: 213000 | #Constraints: 15360
828.00/830.18 c #Conflicts: 214000 | #Constraints: 16360
828.00/830.18 c #Conflicts: 215000 | #Constraints: 17360
828.00/830.18 c #Conflicts: 216000 | #Constraints: 18360
828.00/830.18 c INPROCESSING
828.00/830.18 c GARBAGE COLLECT
828.00/830.18 c #Conflicts: 217000 | #Constraints: 10164
828.00/830.18 c #Conflicts: 218000 | #Constraints: 11164
828.00/830.18 c #Conflicts: 219000 | #Constraints: 12164
828.00/830.18 c #Conflicts: 220000 | #Constraints: 13164
828.00/830.18 c #Conflicts: 221000 | #Constraints: 14164
828.00/830.18 c #Conflicts: 222000 | #Constraints: 15164
828.00/830.18 c #Conflicts: 223000 | #Constraints: 16164
828.00/830.18 c #Conflicts: 224000 | #Constraints: 17164
828.00/830.18 c #Conflicts: 225000 | #Constraints: 18164
828.00/830.18 c #Conflicts: 226000 | #Constraints: 19164
828.00/830.18 c INPROCESSING
828.00/830.18 c GARBAGE COLLECT
828.00/830.18 c #Conflicts: 227000 | #Constraints: 10768
828.00/830.18 c #Conflicts: 228000 | #Constraints: 11768
828.00/830.18 c #Conflicts: 229000 | #Constraints: 12768
828.00/830.18 c #Conflicts: 230000 | #Constraints: 13768
828.00/830.18 c #Conflicts: 231000 | #Constraints: 14768
828.00/830.18 c #Conflicts: 232000 | #Constraints: 15768
828.00/830.18 c #Conflicts: 233000 | #Constraints: 16768
828.00/830.18 c #Conflicts: 234000 | #Constraints: 17768
828.00/830.18 c #Conflicts: 235000 | #Constraints: 18768
828.00/830.18 c #Conflicts: 236000 | #Constraints: 19768
828.00/830.18 c INPROCESSING
828.00/830.18 c GARBAGE COLLECT
828.00/830.18 c #Conflicts: 237000 | #Constraints: 11160
828.00/830.18 c #Conflicts: 238000 | #Constraints: 12160
828.00/830.18 c #Conflicts: 239000 | #Constraints: 13160
828.00/830.18 c #Conflicts: 240000 | #Constraints: 14160
828.00/830.18 c #Conflicts: 241000 | #Constraints: 15160
828.00/830.18 c #Conflicts: 242000 | #Constraints: 16160
828.00/830.18 c #Conflicts: 243000 | #Constraints: 17160
828.00/830.18 c #Conflicts: 244000 | #Constraints: 18160
828.00/830.18 c #Conflicts: 245000 | #Constraints: 19160
828.00/830.18 c #Conflicts: 246000 | #Constraints: 20160
828.00/830.18 c INPROCESSING
828.00/830.18 c GARBAGE COLLECT
828.00/830.18 c #Conflicts: 247000 | #Constraints: 11357
828.00/830.18 c #Conflicts: 248000 | #Constraints: 12357
1086.85/1089.66 c #Conflicts: 249000 | #Constraints: 13357
1086.85/1089.66 c #Conflicts: 250000 | #Constraints: 14357
1086.85/1089.66 c #Conflicts: 251000 | #Constraints: 15357
1086.85/1089.66 c #Conflicts: 252000 | #Constraints: 16357
1086.85/1089.66 c #Conflicts: 253000 | #Constraints: 17357
1086.85/1089.66 c #Conflicts: 254000 | #Constraints: 18357
1086.85/1089.66 c #Conflicts: 255000 | #Constraints: 19357
1086.85/1089.66 c #Conflicts: 256000 | #Constraints: 20357
1086.85/1089.66 c INPROCESSING
1086.85/1089.66 c GARBAGE COLLECT
1086.85/1089.66 c #Conflicts: 257000 | #Constraints: 11353
1086.85/1089.66 c #Conflicts: 258000 | #Constraints: 12353
1086.85/1089.66 c #Conflicts: 259000 | #Constraints: 13353
1086.85/1089.66 c #Conflicts: 260000 | #Constraints: 14353
1086.85/1089.66 c #Conflicts: 261000 | #Constraints: 15353
1086.85/1089.66 c #Conflicts: 262000 | #Constraints: 16353
1086.85/1089.66 c #Conflicts: 263000 | #Constraints: 17353
1086.85/1089.66 c #Conflicts: 264000 | #Constraints: 18353
1086.85/1089.66 c #Conflicts: 265000 | #Constraints: 19353
1086.85/1089.66 c #Conflicts: 266000 | #Constraints: 20353
1086.85/1089.66 c INPROCESSING
1086.85/1089.66 c GARBAGE COLLECT
1086.85/1089.66 c #Conflicts: 267000 | #Constraints: 11155
1086.85/1089.66 c #Conflicts: 268000 | #Constraints: 12155
1086.85/1089.66 c #Conflicts: 269000 | #Constraints: 13155
1086.85/1089.66 c #Conflicts: 270000 | #Constraints: 14155
1086.85/1089.66 c #Conflicts: 271000 | #Constraints: 15155
1086.85/1089.66 c #Conflicts: 272000 | #Constraints: 16155
1086.85/1089.66 c #Conflicts: 273000 | #Constraints: 17155
1086.85/1089.66 c #Conflicts: 274000 | #Constraints: 18155
1086.85/1089.66 c #Conflicts: 275000 | #Constraints: 19155
1086.85/1089.66 c #Conflicts: 276000 | #Constraints: 20155
1086.85/1089.66 c #Conflicts: 277000 | #Constraints: 21155
1086.85/1089.66 c INPROCESSING
1086.85/1089.66 c GARBAGE COLLECT
1086.85/1089.66 c #Conflicts: 278000 | #Constraints: 11760
1086.85/1089.66 c #Conflicts: 279000 | #Constraints: 12760
1086.85/1089.66 c #Conflicts: 280000 | #Constraints: 13760
1086.85/1089.66 c #Conflicts: 281000 | #Constraints: 14760
1086.85/1089.66 c #Conflicts: 282000 | #Constraints: 15760
1086.85/1089.66 c #Conflicts: 283000 | #Constraints: 16760
1086.85/1089.66 c #Conflicts: 284000 | #Constraints: 17760
1086.85/1089.66 c #Conflicts: 285000 | #Constraints: 18760
1086.85/1089.66 c #Conflicts: 286000 | #Constraints: 19760
1086.85/1089.66 c #Conflicts: 287000 | #Constraints: 20760
1086.85/1089.66 c #Conflicts: 288000 | #Constraints: 21760
1086.85/1089.66 c INPROCESSING
1086.85/1089.66 c GARBAGE COLLECT
1086.85/1089.66 c #Conflicts: 289000 | #Constraints: 12157
1086.85/1089.66 c #Conflicts: 290000 | #Constraints: 13157
1086.85/1089.66 c #Conflicts: 291000 | #Constraints: 14157
1086.85/1089.66 c #Conflicts: 292000 | #Constraints: 15157
1086.85/1089.66 c #Conflicts: 293000 | #Constraints: 16157
1086.85/1089.66 c #Conflicts: 294000 | #Constraints: 17157
1086.85/1089.66 c #Conflicts: 295000 | #Constraints: 18157
1086.85/1089.66 c #Conflicts: 296000 | #Constraints: 19157
1086.85/1089.66 c #Conflicts: 297000 | #Constraints: 20157
1086.85/1089.66 c #Conflicts: 298000 | #Constraints: 21157
1086.85/1089.66 c #Conflicts: 299000 | #Constraints: 22157
1086.85/1089.66 c INPROCESSING
1086.85/1089.66 c GARBAGE COLLECT
1086.85/1089.66 c #Conflicts: 300000 | #Constraints: 12358
1086.85/1089.66 c #Conflicts: 301000 | #Constraints: 13358
1086.85/1089.66 c #Conflicts: 302000 | #Constraints: 14358
1086.85/1089.66 c #Conflicts: 303000 | #Constraints: 15358
1086.85/1089.66 c #Conflicts: 304000 | #Constraints: 16358
1086.85/1089.66 c #Conflicts: 305000 | #Constraints: 17358
1086.85/1089.66 c #Conflicts: 306000 | #Constraints: 18358
1086.85/1089.66 c #Conflicts: 307000 | #Constraints: 19358
1086.85/1089.66 c #Conflicts: 308000 | #Constraints: 20358
1086.85/1089.66 c #Conflicts: 309000 | #Constraints: 21358
1086.85/1089.66 c #Conflicts: 310000 | #Constraints: 22358
1086.85/1089.66 c INPROCESSING
1086.85/1089.66 c GARBAGE COLLECT
1086.85/1089.66 c #Conflicts: 311000 | #Constraints: 12354
1086.85/1089.66 c #Conflicts: 312000 | #Constraints: 13354
1086.85/1089.66 c #Conflicts: 313000 | #Constraints: 14354
1086.85/1089.66 c #Conflicts: 314000 | #Constraints: 15354
1086.85/1089.66 c #Conflicts: 315000 | #Constraints: 16354
1086.85/1089.66 c #Conflicts: 316000 | #Constraints: 17354
1086.85/1089.66 c #Conflicts: 317000 | #Constraints: 18354
1086.85/1089.66 c #Conflicts: 318000 | #Constraints: 19354
1086.85/1089.66 c #Conflicts: 319000 | #Constraints: 20354
1086.85/1089.66 c #Conflicts: 320000 | #Constraints: 21354
1086.85/1089.66 c #Conflicts: 321000 | #Constraints: 22354
1086.85/1089.66 c INPROCESSING
1086.85/1089.66 c GARBAGE COLLECT
1086.85/1089.66 c #Conflicts: 322000 | #Constraints: 12158
1086.85/1089.66 c #Conflicts: 323000 | #Constraints: 13158
1393.45/1396.97 c #Conflicts: 324000 | #Constraints: 14158
1393.45/1396.97 c #Conflicts: 325000 | #Constraints: 15158
1393.45/1396.97 c #Conflicts: 326000 | #Constraints: 16158
1393.45/1396.97 c #Conflicts: 327000 | #Constraints: 17158
1393.45/1396.97 c #Conflicts: 328000 | #Constraints: 18158
1393.45/1396.97 c #Conflicts: 329000 | #Constraints: 19158
1393.45/1396.97 c #Conflicts: 330000 | #Constraints: 20158
1393.45/1396.97 c #Conflicts: 331000 | #Constraints: 21158
1393.45/1396.97 c #Conflicts: 332000 | #Constraints: 22158
1393.45/1396.97 c #Conflicts: 333000 | #Constraints: 23158
1393.45/1396.97 c INPROCESSING
1393.45/1396.97 c GARBAGE COLLECT
1393.45/1396.97 c #Conflicts: 334000 | #Constraints: 12754
1393.45/1396.97 c #Conflicts: 335000 | #Constraints: 13754
1393.45/1396.97 c #Conflicts: 336000 | #Constraints: 14754
1393.45/1396.97 c #Conflicts: 337000 | #Constraints: 15754
1393.45/1396.97 c #Conflicts: 338000 | #Constraints: 16754
1393.45/1396.97 c #Conflicts: 339000 | #Constraints: 17754
1393.45/1396.97 c #Conflicts: 340000 | #Constraints: 18754
1393.45/1396.97 c #Conflicts: 341000 | #Constraints: 19754
1393.45/1396.97 c #Conflicts: 342000 | #Constraints: 20754
1393.45/1396.97 c #Conflicts: 343000 | #Constraints: 21754
1393.45/1396.97 c #Conflicts: 344000 | #Constraints: 22754
1393.45/1396.97 c #Conflicts: 345000 | #Constraints: 23754
1393.45/1396.97 c INPROCESSING
1393.45/1396.97 c GARBAGE COLLECT
1393.45/1396.97 c #Conflicts: 346000 | #Constraints: 13152
1393.45/1396.97 c #Conflicts: 347000 | #Constraints: 14152
1393.45/1396.97 c #Conflicts: 348000 | #Constraints: 15152
1393.45/1396.97 c #Conflicts: 349000 | #Constraints: 16152
1393.45/1396.97 c #Conflicts: 350000 | #Constraints: 17152
1393.45/1396.97 c #Conflicts: 351000 | #Constraints: 18152
1393.45/1396.97 c #Conflicts: 352000 | #Constraints: 19152
1393.45/1396.97 c #Conflicts: 353000 | #Constraints: 20152
1393.45/1396.97 c #Conflicts: 354000 | #Constraints: 21152
1393.45/1396.97 c #Conflicts: 355000 | #Constraints: 22152
1393.45/1396.97 c #Conflicts: 356000 | #Constraints: 23152
1393.45/1396.97 c #Conflicts: 357000 | #Constraints: 24152
1393.45/1396.97 c INPROCESSING
1393.45/1396.97 c GARBAGE COLLECT
1393.45/1396.97 c #Conflicts: 358000 | #Constraints: 13353
1393.45/1396.97 c #Conflicts: 359000 | #Constraints: 14353
1393.45/1396.97 c #Conflicts: 360000 | #Constraints: 15353
1393.45/1396.97 c #Conflicts: 361000 | #Constraints: 16353
1393.45/1396.97 c #Conflicts: 362000 | #Constraints: 17353
1393.45/1396.97 c #Conflicts: 363000 | #Constraints: 18353
1393.45/1396.97 c #Conflicts: 364000 | #Constraints: 19353
1393.45/1396.97 c #Conflicts: 365000 | #Constraints: 20353
1393.45/1396.97 c #Conflicts: 366000 | #Constraints: 21353
1393.45/1396.97 c #Conflicts: 367000 | #Constraints: 22353
1393.45/1396.97 c #Conflicts: 368000 | #Constraints: 23353
1393.45/1396.97 c #Conflicts: 369000 | #Constraints: 24353
1393.45/1396.97 c INPROCESSING
1393.45/1396.97 c GARBAGE COLLECT
1393.45/1396.97 c #Conflicts: 370000 | #Constraints: 13349
1393.45/1396.97 c #Conflicts: 371000 | #Constraints: 14349
1393.45/1396.97 c #Conflicts: 372000 | #Constraints: 15349
1393.45/1396.97 c #Conflicts: 373000 | #Constraints: 16349
1393.45/1396.97 c #Conflicts: 374000 | #Constraints: 17349
1393.45/1396.97 c #Conflicts: 375000 | #Constraints: 18349
1393.45/1396.97 c #Conflicts: 376000 | #Constraints: 19349
1393.45/1396.97 c #Conflicts: 377000 | #Constraints: 20349
1393.45/1396.97 c #Conflicts: 378000 | #Constraints: 21349
1393.45/1396.97 c #Conflicts: 379000 | #Constraints: 22349
1393.45/1396.97 c #Conflicts: 380000 | #Constraints: 23349
1393.45/1396.97 c #Conflicts: 381000 | #Constraints: 24349
1393.45/1396.97 c INPROCESSING
1393.45/1396.97 c GARBAGE COLLECT
1393.45/1396.97 c #Conflicts: 382000 | #Constraints: 13147
1393.45/1396.97 c #Conflicts: 383000 | #Constraints: 14147
1393.45/1396.97 c #Conflicts: 384000 | #Constraints: 15147
1393.45/1396.97 c #Conflicts: 385000 | #Constraints: 16147
1393.45/1396.97 c #Conflicts: 386000 | #Constraints: 17147
1393.45/1396.97 c #Conflicts: 387000 | #Constraints: 18147
1393.45/1396.97 c #Conflicts: 388000 | #Constraints: 19147
1393.45/1396.97 c #Conflicts: 389000 | #Constraints: 20147
1393.45/1396.97 c #Conflicts: 390000 | #Constraints: 21147
1393.45/1396.97 c #Conflicts: 391000 | #Constraints: 22147
1393.45/1396.97 c #Conflicts: 392000 | #Constraints: 23147
1393.45/1396.97 c #Conflicts: 393000 | #Constraints: 24147
1393.45/1396.97 c #Conflicts: 394000 | #Constraints: 25147
1393.45/1396.97 c INPROCESSING
1393.45/1396.97 c GARBAGE COLLECT
1393.45/1396.97 c #Conflicts: 395000 | #Constraints: 13747
1393.45/1396.97 c #Conflicts: 396000 | #Constraints: 14747
1393.45/1396.97 c #Conflicts: 397000 | #Constraints: 15747
1393.45/1396.97 c #Conflicts: 398000 | #Constraints: 16747
1860.08/1864.63 c #Conflicts: 399000 | #Constraints: 17747
1860.08/1864.63 c #Conflicts: 400000 | #Constraints: 18747
1860.08/1864.63 c #Conflicts: 401000 | #Constraints: 19747
1860.08/1864.63 c #Conflicts: 402000 | #Constraints: 20747
1860.08/1864.63 c #Conflicts: 403000 | #Constraints: 21747
1860.08/1864.63 c #Conflicts: 404000 | #Constraints: 22747
1860.08/1864.63 c #Conflicts: 405000 | #Constraints: 23747
1860.08/1864.63 c #Conflicts: 406000 | #Constraints: 24747
1860.08/1864.63 c #Conflicts: 407000 | #Constraints: 25747
1860.08/1864.63 c INPROCESSING
1860.08/1864.63 c GARBAGE COLLECT
1860.08/1864.63 c #Conflicts: 408000 | #Constraints: 14147
1860.08/1864.63 c #Conflicts: 409000 | #Constraints: 15147
1860.08/1864.63 c #Conflicts: 410000 | #Constraints: 16147
1860.08/1864.63 c #Conflicts: 411000 | #Constraints: 17147
1860.08/1864.63 c #Conflicts: 412000 | #Constraints: 18147
1860.08/1864.63 c #Conflicts: 413000 | #Constraints: 19147
1860.08/1864.63 c #Conflicts: 414000 | #Constraints: 20147
1860.08/1864.63 c #Conflicts: 415000 | #Constraints: 21147
1860.08/1864.63 c #Conflicts: 416000 | #Constraints: 22147
1860.08/1864.63 c #Conflicts: 417000 | #Constraints: 23147
1860.08/1864.63 c #Conflicts: 418000 | #Constraints: 24147
1860.08/1864.63 c #Conflicts: 419000 | #Constraints: 25147
1860.08/1864.63 c #Conflicts: 420000 | #Constraints: 26147
1860.08/1864.63 c INPROCESSING
1860.08/1864.63 c GARBAGE COLLECT
1860.08/1864.63 c #Conflicts: 421000 | #Constraints: 14351
1860.08/1864.63 c #Conflicts: 422000 | #Constraints: 15351
1860.08/1864.63 c #Conflicts: 423000 | #Constraints: 16351
1860.08/1864.63 c #Conflicts: 424000 | #Constraints: 17351
1860.08/1864.63 c #Conflicts: 425000 | #Constraints: 18351
1860.08/1864.63 c #Conflicts: 426000 | #Constraints: 19351
1860.08/1864.63 c #Conflicts: 427000 | #Constraints: 20351
1860.08/1864.63 c #Conflicts: 428000 | #Constraints: 21351
1860.08/1864.63 c #Conflicts: 429000 | #Constraints: 22351
1860.08/1864.63 c #Conflicts: 430000 | #Constraints: 23351
1860.08/1864.63 c #Conflicts: 431000 | #Constraints: 24351
1860.08/1864.63 c #Conflicts: 432000 | #Constraints: 25351
1860.08/1864.63 c #Conflicts: 433000 | #Constraints: 26351
1860.08/1864.63 c INPROCESSING
1860.08/1864.63 c GARBAGE COLLECT
1860.08/1864.63 c #Conflicts: 434000 | #Constraints: 14356
1860.08/1864.63 c #Conflicts: 435000 | #Constraints: 15356
1860.08/1864.63 c #Conflicts: 436000 | #Constraints: 16356
1860.08/1864.63 c #Conflicts: 437000 | #Constraints: 17356
1860.08/1864.63 c #Conflicts: 438000 | #Constraints: 18356
1860.08/1864.63 c #Conflicts: 439000 | #Constraints: 19356
1860.08/1864.63 c #Conflicts: 440000 | #Constraints: 20356
1860.08/1864.63 c #Conflicts: 441000 | #Constraints: 21356
1860.08/1864.63 c #Conflicts: 442000 | #Constraints: 22356
1860.08/1864.63 c #Conflicts: 443000 | #Constraints: 23356
1860.08/1864.63 c #Conflicts: 444000 | #Constraints: 24356
1860.08/1864.63 c #Conflicts: 445000 | #Constraints: 25356
1860.08/1864.63 c #Conflicts: 446000 | #Constraints: 26356
1860.08/1864.63 c INPROCESSING
1860.08/1864.63 c GARBAGE COLLECT
1860.08/1864.63 c #Conflicts: 447000 | #Constraints: 14161
1860.08/1864.63 c #Conflicts: 448000 | #Constraints: 15161
1860.08/1864.63 c #Conflicts: 449000 | #Constraints: 16161
1860.08/1864.63 c #Conflicts: 450000 | #Constraints: 17161
1860.08/1864.63 c #Conflicts: 451000 | #Constraints: 18161
1860.08/1864.63 c #Conflicts: 452000 | #Constraints: 19161
1860.08/1864.63 c #Conflicts: 453000 | #Constraints: 20161
1860.08/1864.63 c #Conflicts: 454000 | #Constraints: 21161
1860.08/1864.63 c #Conflicts: 455000 | #Constraints: 22161
1860.08/1864.63 c #Conflicts: 456000 | #Constraints: 23161
1860.08/1864.63 c #Conflicts: 457000 | #Constraints: 24161
1860.08/1864.63 c #Conflicts: 458000 | #Constraints: 25161
1860.08/1864.63 c #Conflicts: 459000 | #Constraints: 26161
1860.08/1864.63 c #Conflicts: 460000 | #Constraints: 27161
1860.08/1864.63 c INPROCESSING
1860.08/1864.63 c GARBAGE COLLECT
1860.08/1864.63 c #Conflicts: 461000 | #Constraints: 14759
1860.08/1864.63 c #Conflicts: 462000 | #Constraints: 15759
1860.08/1864.63 c #Conflicts: 463000 | #Constraints: 16759
1860.08/1864.63 c #Conflicts: 464000 | #Constraints: 17759
1860.08/1864.63 c #Conflicts: 465000 | #Constraints: 18759
1860.08/1864.63 c #Conflicts: 466000 | #Constraints: 19759
1860.08/1864.63 c #Conflicts: 467000 | #Constraints: 20759
1860.08/1864.63 c #Conflicts: 468000 | #Constraints: 21759
1860.08/1864.63 c #Conflicts: 469000 | #Constraints: 22759
1860.08/1864.63 c #Conflicts: 470000 | #Constraints: 23759
1860.08/1864.63 c #Conflicts: 471000 | #Constraints: 24759
1860.08/1864.63 c #Conflicts: 472000 | #Constraints: 25759
1860.08/1864.63 c #Conflicts: 473000 | #Constraints: 26759
2272.23/2277.72 c #Conflicts: 474000 | #Constraints: 27759
2272.23/2277.72 c INPROCESSING
2272.23/2277.72 c GARBAGE COLLECT
2272.23/2277.72 c #Conflicts: 475000 | #Constraints: 15153
2272.23/2277.72 c #Conflicts: 476000 | #Constraints: 16153
2272.23/2277.72 c #Conflicts: 477000 | #Constraints: 17153
2272.23/2277.72 c #Conflicts: 478000 | #Constraints: 18153
2272.23/2277.72 c #Conflicts: 479000 | #Constraints: 19153
2272.23/2277.72 c #Conflicts: 480000 | #Constraints: 20153
2272.23/2277.72 c #Conflicts: 481000 | #Constraints: 21153
2272.23/2277.72 c #Conflicts: 482000 | #Constraints: 22153
2272.23/2277.72 c #Conflicts: 483000 | #Constraints: 23153
2272.23/2277.72 c #Conflicts: 484000 | #Constraints: 24153
2272.23/2277.72 c #Conflicts: 485000 | #Constraints: 25153
2272.23/2277.72 c #Conflicts: 486000 | #Constraints: 26153
2272.23/2277.72 c #Conflicts: 487000 | #Constraints: 27153
2272.23/2277.72 c #Conflicts: 488000 | #Constraints: 28153
2272.23/2277.72 c INPROCESSING
2272.23/2277.72 c GARBAGE COLLECT
2272.23/2277.72 c #Conflicts: 489000 | #Constraints: 15359
2272.23/2277.72 c #Conflicts: 490000 | #Constraints: 16359
2272.23/2277.72 c #Conflicts: 491000 | #Constraints: 17359
2272.23/2277.72 c #Conflicts: 492000 | #Constraints: 18359
2272.23/2277.72 c #Conflicts: 493000 | #Constraints: 19359
2272.23/2277.72 c #Conflicts: 494000 | #Constraints: 20359
2272.23/2277.72 c #Conflicts: 495000 | #Constraints: 21359
2272.23/2277.72 c #Conflicts: 496000 | #Constraints: 22359
2272.23/2277.72 c #Conflicts: 497000 | #Constraints: 23359
2272.23/2277.72 c #Conflicts: 498000 | #Constraints: 24359
2272.23/2277.72 c #Conflicts: 499000 | #Constraints: 25359
2272.23/2277.72 c #Conflicts: 500000 | #Constraints: 26359
2272.23/2277.72 c #Conflicts: 501000 | #Constraints: 27359
2272.23/2277.72 c #Conflicts: 502000 | #Constraints: 28359
2272.23/2277.72 c INPROCESSING
2272.23/2277.72 c GARBAGE COLLECT
2272.23/2277.72 c #Conflicts: 503000 | #Constraints: 15364
2272.23/2277.72 c #Conflicts: 504000 | #Constraints: 16364
2272.23/2277.72 c #Conflicts: 505000 | #Constraints: 17364
2272.23/2277.72 c #Conflicts: 506000 | #Constraints: 18364
2272.23/2277.72 c #Conflicts: 507000 | #Constraints: 19364
2272.23/2277.72 c #Conflicts: 508000 | #Constraints: 20364
2272.23/2277.72 c #Conflicts: 509000 | #Constraints: 21364
2272.23/2277.72 c #Conflicts: 510000 | #Constraints: 22364
2272.23/2277.72 c #Conflicts: 511000 | #Constraints: 23364
2272.23/2277.72 c #Conflicts: 512000 | #Constraints: 24364
2272.23/2277.72 c #Conflicts: 513000 | #Constraints: 25364
2272.23/2277.72 c #Conflicts: 514000 | #Constraints: 26364
2272.23/2277.72 c #Conflicts: 515000 | #Constraints: 27364
2272.23/2277.72 c #Conflicts: 516000 | #Constraints: 28364
2272.23/2277.72 c INPROCESSING
2272.23/2277.72 c GARBAGE COLLECT
2272.23/2277.72 c #Conflicts: 517000 | #Constraints: 15161
2272.23/2277.72 c #Conflicts: 518000 | #Constraints: 16161
2272.23/2277.72 c #Conflicts: 519000 | #Constraints: 17161
2272.23/2277.72 c #Conflicts: 520000 | #Constraints: 18161
2272.23/2277.72 c #Conflicts: 521000 | #Constraints: 19161
2272.23/2277.72 c #Conflicts: 522000 | #Constraints: 20161
2272.23/2277.72 c #Conflicts: 523000 | #Constraints: 21161
2272.23/2277.72 c #Conflicts: 524000 | #Constraints: 22161
2272.23/2277.72 c #Conflicts: 525000 | #Constraints: 23161
2272.23/2277.72 c #Conflicts: 526000 | #Constraints: 24161
2272.23/2277.72 c #Conflicts: 527000 | #Constraints: 25161
2272.23/2277.72 c #Conflicts: 528000 | #Constraints: 26161
2272.23/2277.72 c #Conflicts: 529000 | #Constraints: 27161
2272.23/2277.72 c #Conflicts: 530000 | #Constraints: 28161
2272.23/2277.72 c #Conflicts: 531000 | #Constraints: 29161
2272.23/2277.72 c INPROCESSING
2272.23/2277.72 c GARBAGE COLLECT
2272.23/2277.72 c #Conflicts: 532000 | #Constraints: 15755
2272.23/2277.72 c #Conflicts: 533000 | #Constraints: 16755
2272.23/2277.72 c #Conflicts: 534000 | #Constraints: 17755
2272.23/2277.72 c #Conflicts: 535000 | #Constraints: 18755
2272.23/2277.72 c #Conflicts: 536000 | #Constraints: 19755
2272.23/2277.72 c #Conflicts: 537000 | #Constraints: 20755
2272.23/2277.72 c #Conflicts: 538000 | #Constraints: 21755
2272.23/2277.72 c #Conflicts: 539000 | #Constraints: 22755
2272.23/2277.72 c #Conflicts: 540000 | #Constraints: 23755
2272.23/2277.72 c #Conflicts: 541000 | #Constraints: 24755
2272.23/2277.72 c #Conflicts: 542000 | #Constraints: 25755
2272.23/2277.72 c #Conflicts: 543000 | #Constraints: 26755
2272.23/2277.72 c #Conflicts: 544000 | #Constraints: 27755
2272.23/2277.72 c #Conflicts: 545000 | #Constraints: 28755
2272.23/2277.72 c #Conflicts: 546000 | #Constraints: 29755
2272.23/2277.72 c INPROCESSING
2272.23/2277.72 c GARBAGE COLLECT
2272.23/2277.72 c #Conflicts: 547000 | #Constraints: 16154
2272.23/2277.72 c #Conflicts: 548000 | #Constraints: 17154
2793.36/2800.06 c #Conflicts: 549000 | #Constraints: 18154
2793.36/2800.06 c #Conflicts: 550000 | #Constraints: 19154
2793.36/2800.06 c #Conflicts: 551000 | #Constraints: 20154
2793.36/2800.06 c #Conflicts: 552000 | #Constraints: 21154
2793.36/2800.06 c #Conflicts: 553000 | #Constraints: 22154
2793.36/2800.06 c #Conflicts: 554000 | #Constraints: 23154
2793.36/2800.06 c #Conflicts: 555000 | #Constraints: 24154
2793.36/2800.06 c #Conflicts: 556000 | #Constraints: 25154
2793.36/2800.06 c #Conflicts: 557000 | #Constraints: 26154
2793.36/2800.06 c #Conflicts: 558000 | #Constraints: 27154
2793.36/2800.06 c #Conflicts: 559000 | #Constraints: 28154
2793.36/2800.06 c #Conflicts: 560000 | #Constraints: 29154
2793.36/2800.06 c #Conflicts: 561000 | #Constraints: 30154
2793.36/2800.06 c INPROCESSING
2793.36/2800.06 c GARBAGE COLLECT
2793.36/2800.06 c #Conflicts: 562000 | #Constraints: 16352
2793.36/2800.06 c #Conflicts: 563000 | #Constraints: 17352
2793.36/2800.06 c #Conflicts: 564000 | #Constraints: 18352
2793.36/2800.06 c #Conflicts: 565000 | #Constraints: 19352
2793.36/2800.06 c #Conflicts: 566000 | #Constraints: 20352
2793.36/2800.06 c #Conflicts: 567000 | #Constraints: 21352
2793.36/2800.06 c #Conflicts: 568000 | #Constraints: 22352
2793.36/2800.06 c #Conflicts: 569000 | #Constraints: 23352
2793.36/2800.06 c #Conflicts: 570000 | #Constraints: 24352
2793.36/2800.06 c #Conflicts: 571000 | #Constraints: 25352
2793.36/2800.06 c #Conflicts: 572000 | #Constraints: 26352
2793.36/2800.06 c #Conflicts: 573000 | #Constraints: 27352
2793.36/2800.06 c #Conflicts: 574000 | #Constraints: 28352
2793.36/2800.06 c #Conflicts: 575000 | #Constraints: 29352
2793.36/2800.06 c #Conflicts: 576000 | #Constraints: 30352
2793.36/2800.06 c INPROCESSING
2793.36/2800.06 c GARBAGE COLLECT
2793.36/2800.06 c #Conflicts: 577000 | #Constraints: 16352
2793.36/2800.06 c #Conflicts: 578000 | #Constraints: 17352
2793.36/2800.06 c #Conflicts: 579000 | #Constraints: 18352
2793.36/2800.06 c #Conflicts: 580000 | #Constraints: 19352
2793.36/2800.06 c #Conflicts: 581000 | #Constraints: 20352
2793.36/2800.06 c #Conflicts: 582000 | #Constraints: 21352
2793.36/2800.06 c #Conflicts: 583000 | #Constraints: 22352
2793.36/2800.06 c #Conflicts: 584000 | #Constraints: 23352
2793.36/2800.06 c #Conflicts: 585000 | #Constraints: 24352
2793.36/2800.06 c #Conflicts: 586000 | #Constraints: 25352
2793.36/2800.06 c #Conflicts: 587000 | #Constraints: 26352
2793.36/2800.06 c #Conflicts: 588000 | #Constraints: 27352
2793.36/2800.06 c #Conflicts: 589000 | #Constraints: 28352
2793.36/2800.06 c #Conflicts: 590000 | #Constraints: 29352
2793.36/2800.06 c #Conflicts: 591000 | #Constraints: 30352
2793.36/2800.06 c INPROCESSING
2793.36/2800.06 c GARBAGE COLLECT
2793.36/2800.06 c #Conflicts: 592000 | #Constraints: 16156
2793.36/2800.06 c #Conflicts: 593000 | #Constraints: 17156
2793.36/2800.06 c #Conflicts: 594000 | #Constraints: 18156
2793.36/2800.06 c #Conflicts: 595000 | #Constraints: 19156
2793.36/2800.06 c #Conflicts: 596000 | #Constraints: 20156
2793.36/2800.06 c #Conflicts: 597000 | #Constraints: 21156
2793.36/2800.06 c #Conflicts: 598000 | #Constraints: 22156
2793.36/2800.06 c #Conflicts: 599000 | #Constraints: 23156
2793.36/2800.06 c #Conflicts: 600000 | #Constraints: 24156
2793.36/2800.06 c #Conflicts: 601000 | #Constraints: 25156
2793.36/2800.06 c #Conflicts: 602000 | #Constraints: 26156
2793.36/2800.06 c #Conflicts: 603000 | #Constraints: 27156
2793.36/2800.06 c #Conflicts: 604000 | #Constraints: 28156
2793.36/2800.06 c #Conflicts: 605000 | #Constraints: 29156
2793.36/2800.06 c #Conflicts: 606000 | #Constraints: 30156
2793.36/2800.06 c #Conflicts: 607000 | #Constraints: 31156
2793.36/2800.06 c INPROCESSING
2793.36/2800.06 c GARBAGE COLLECT
2793.36/2800.06 c #Conflicts: 608000 | #Constraints: 16757
2793.36/2800.06 c #Conflicts: 609000 | #Constraints: 17757
2793.36/2800.06 c #Conflicts: 610000 | #Constraints: 18757
2793.36/2800.06 c #Conflicts: 611000 | #Constraints: 19757
2793.36/2800.06 c #Conflicts: 612000 | #Constraints: 20757
2793.36/2800.06 c #Conflicts: 613000 | #Constraints: 21757
2793.36/2800.06 c #Conflicts: 614000 | #Constraints: 22757
2793.36/2800.06 c #Conflicts: 615000 | #Constraints: 23757
2793.36/2800.06 c #Conflicts: 616000 | #Constraints: 24757
2793.36/2800.06 c #Conflicts: 617000 | #Constraints: 25757
2793.36/2800.06 c #Conflicts: 618000 | #Constraints: 26757
2793.36/2800.06 c #Conflicts: 619000 | #Constraints: 27757
2793.36/2800.06 c #Conflicts: 620000 | #Constraints: 28757
2793.36/2800.06 c #Conflicts: 621000 | #Constraints: 29757
2793.36/2800.06 c #Conflicts: 622000 | #Constraints: 30757
2793.36/2800.06 c #Conflicts: 623000 | #Constraints: 31757
2793.36/2800.06 c INPROCESSING
2793.36/2800.06 c GARBAGE COLLECT
2793.36/2800.06 c #Conflicts: 624000 | #Constraints: 17155
3388.42/3396.57 c #Conflicts: 625000 | #Constraints: 18155
3388.42/3396.57 c #Conflicts: 626000 | #Constraints: 19155
3388.42/3396.57 c #Conflicts: 627000 | #Constraints: 20155
3388.42/3396.57 c #Conflicts: 628000 | #Constraints: 21155
3388.42/3396.57 c #Conflicts: 629000 | #Constraints: 22155
3388.42/3396.57 c #Conflicts: 630000 | #Constraints: 23155
3388.42/3396.57 c #Conflicts: 631000 | #Constraints: 24155
3388.42/3396.57 c #Conflicts: 632000 | #Constraints: 25155
3388.42/3396.57 c #Conflicts: 633000 | #Constraints: 26155
3388.42/3396.57 c #Conflicts: 634000 | #Constraints: 27155
3388.42/3396.57 c #Conflicts: 635000 | #Constraints: 28155
3388.42/3396.57 c #Conflicts: 636000 | #Constraints: 29155
3388.42/3396.57 c #Conflicts: 637000 | #Constraints: 30155
3388.42/3396.57 c #Conflicts: 638000 | #Constraints: 31155
3388.42/3396.57 c #Conflicts: 639000 | #Constraints: 32155
3388.42/3396.57 c INPROCESSING
3388.42/3396.57 c GARBAGE COLLECT
3388.42/3396.57 c #Conflicts: 640000 | #Constraints: 17354
3388.42/3396.57 c #Conflicts: 641000 | #Constraints: 18354
3388.42/3396.57 c #Conflicts: 642000 | #Constraints: 19354
3388.42/3396.57 c #Conflicts: 643000 | #Constraints: 20354
3388.42/3396.57 c #Conflicts: 644000 | #Constraints: 21354
3388.42/3396.57 c #Conflicts: 645000 | #Constraints: 22354
3388.42/3396.57 c #Conflicts: 646000 | #Constraints: 23354
3388.42/3396.57 c #Conflicts: 647000 | #Constraints: 24354
3388.42/3396.57 c #Conflicts: 648000 | #Constraints: 25354
3388.42/3396.57 c #Conflicts: 649000 | #Constraints: 26354
3388.42/3396.57 c #Conflicts: 650000 | #Constraints: 27354
3388.42/3396.57 c #Conflicts: 651000 | #Constraints: 28354
3388.42/3396.57 c #Conflicts: 652000 | #Constraints: 29354
3388.42/3396.57 c #Conflicts: 653000 | #Constraints: 30354
3388.42/3396.57 c #Conflicts: 654000 | #Constraints: 31354
3388.42/3396.57 c #Conflicts: 655000 | #Constraints: 32354
3388.42/3396.57 c INPROCESSING
3388.42/3396.57 c GARBAGE COLLECT
3388.42/3396.57 c #Conflicts: 656000 | #Constraints: 17354
3388.42/3396.57 c #Conflicts: 657000 | #Constraints: 18354
3388.42/3396.57 c #Conflicts: 658000 | #Constraints: 19354
3388.42/3396.57 c #Conflicts: 659000 | #Constraints: 20354
3388.42/3396.57 c #Conflicts: 660000 | #Constraints: 21354
3388.42/3396.57 c #Conflicts: 661000 | #Constraints: 22354
3388.42/3396.57 c #Conflicts: 662000 | #Constraints: 23354
3388.42/3396.57 c #Conflicts: 663000 | #Constraints: 24354
3388.42/3396.57 c #Conflicts: 664000 | #Constraints: 25354
3388.42/3396.57 c #Conflicts: 665000 | #Constraints: 26354
3388.42/3396.57 c #Conflicts: 666000 | #Constraints: 27354
3388.42/3396.57 c #Conflicts: 667000 | #Constraints: 28354
3388.42/3396.57 c #Conflicts: 668000 | #Constraints: 29354
3388.42/3396.57 c #Conflicts: 669000 | #Constraints: 30354
3388.42/3396.57 c #Conflicts: 670000 | #Constraints: 31354
3388.42/3396.57 c #Conflicts: 671000 | #Constraints: 32354
3388.42/3396.57 c INPROCESSING
3388.42/3396.57 c GARBAGE COLLECT
3388.42/3396.57 c #Conflicts: 672000 | #Constraints: 17153
3388.42/3396.57 c #Conflicts: 673000 | #Constraints: 18153
3388.42/3396.57 c #Conflicts: 674000 | #Constraints: 19153
3388.42/3396.57 c #Conflicts: 675000 | #Constraints: 20153
3388.42/3396.57 c #Conflicts: 676000 | #Constraints: 21153
3388.42/3396.57 c #Conflicts: 677000 | #Constraints: 22153
3388.42/3396.57 c #Conflicts: 678000 | #Constraints: 23153
3388.42/3396.57 c #Conflicts: 679000 | #Constraints: 24153
3388.42/3396.57 c #Conflicts: 680000 | #Constraints: 25153
3388.42/3396.57 c #Conflicts: 681000 | #Constraints: 26153
3388.42/3396.57 c #Conflicts: 682000 | #Constraints: 27153
3388.42/3396.57 c #Conflicts: 683000 | #Constraints: 28153
3388.42/3396.57 c #Conflicts: 684000 | #Constraints: 29153
3388.42/3396.57 c #Conflicts: 685000 | #Constraints: 30153
3388.42/3396.57 c #Conflicts: 686000 | #Constraints: 31153
3388.42/3396.57 c #Conflicts: 687000 | #Constraints: 32153
3388.42/3396.57 c #Conflicts: 688000 | #Constraints: 33153
3388.42/3396.57 c INPROCESSING
3388.42/3396.57 c GARBAGE COLLECT
3388.42/3396.57 c #Conflicts: 689000 | #Constraints: 17749
3388.42/3396.57 c #Conflicts: 690000 | #Constraints: 18749
3388.42/3396.57 c #Conflicts: 691000 | #Constraints: 19749
3388.42/3396.57 c #Conflicts: 692000 | #Constraints: 20749
3388.42/3396.57 c #Conflicts: 693000 | #Constraints: 21749
3388.42/3396.57 c #Conflicts: 694000 | #Constraints: 22749
3388.42/3396.57 c #Conflicts: 695000 | #Constraints: 23749
3388.42/3396.57 c #Conflicts: 696000 | #Constraints: 24749
3388.42/3396.57 c #Conflicts: 697000 | #Constraints: 25749
3388.42/3396.57 c #Conflicts: 698000 | #Constraints: 26749
3388.42/3396.57 c #Conflicts: 699000 | #Constraints: 27749
3388.42/3396.57 c #Conflicts: 700000 | #Constraints: 28749
3600.06/3608.70 c #Conflicts: 701000 | #Constraints: 29749
3600.06/3608.70 c #Conflicts: 702000 | #Constraints: 30749
3600.06/3608.70 c #Conflicts: 703000 | #Constraints: 31749
3600.06/3608.70 c #Conflicts: 704000 | #Constraints: 32749
3600.06/3608.70 c #Conflicts: 705000 | #Constraints: 33749
3600.06/3608.70 c INPROCESSING
3600.06/3608.70 c GARBAGE COLLECT
3600.06/3608.70 c #Conflicts: 706000 | #Constraints: 18152
3600.06/3608.70 c #Conflicts: 707000 | #Constraints: 19152
3600.06/3608.70 c #Conflicts: 708000 | #Constraints: 20152
3600.06/3608.70 c #Conflicts: 709000 | #Constraints: 21152
3600.06/3608.70 c #Conflicts: 710000 | #Constraints: 22152
3600.06/3608.70 c #Conflicts: 711000 | #Constraints: 23152
3600.06/3608.70 c #Conflicts: 712000 | #Constraints: 24152
3600.06/3608.70 c #Conflicts: 713000 | #Constraints: 25152
3600.06/3608.70 c #Conflicts: 714000 | #Constraints: 26152
3600.06/3608.70 c #Conflicts: 715000 | #Constraints: 27152
3600.06/3608.70 c #Conflicts: 716000 | #Constraints: 28152
3600.06/3608.70 c #Conflicts: 717000 | #Constraints: 29152
3600.06/3608.70 c #Conflicts: 718000 | #Constraints: 30152
3600.06/3608.70 c #Conflicts: 719000 | #Constraints: 31152
3600.06/3608.70 c #Conflicts: 720000 | #Constraints: 32152
3600.06/3608.70 c #Conflicts: 721000 | #Constraints: 33152
3600.06/3608.70 c #Conflicts: 722000 | #Constraints: 34152
3600.06/3608.70 c INPROCESSING
3600.06/3608.70 c GARBAGE COLLECT
3600.06/3608.70 c #Conflicts: 723000 | #Constraints: 18353
3600.06/3608.70 c #Conflicts: 724000 | #Constraints: 19353
3600.06/3608.70 c #Conflicts: 725000 | #Constraints: 20353
3600.06/3608.70 c Program interrupted by user.
3600.06/3608.70 c cpu time 3591.25 s
3600.06/3608.70 c deterministic time 372684065428 3.73e+11
3600.06/3608.70 c optimization time 18.83 s
3600.06/3608.70 c total solve time 3273.21 s
3600.06/3608.70 c core-guided solve time 3273.21 s
3600.06/3608.70 c propagation time 2956.07 s
3600.06/3608.70 c conflict analysis time 288.814 s
3600.06/3608.70 c propagations 48329059
3600.06/3608.70 c resolve steps 3493600
3600.06/3608.70 c decisions 5400736
3600.06/3608.70 c conflicts 725589
3600.06/3608.70 c restarts 1533
3600.06/3608.70 c inprocessing phases 76
3600.06/3608.70 c input clauses 58
3600.06/3608.70 c input cardinalities 79
3600.06/3608.70 c input general constraints 474
3600.06/3608.70 c input average constraint length 69.09
3600.06/3608.70 c input average constraint degree 34.80
3600.06/3608.70 c learned clauses 130263
3600.06/3608.70 c learned cardinalities 92
3600.06/3608.70 c learned general constraints 595242
3600.06/3608.70 c learned average constraint length 327.89
3600.06/3608.70 c learned average constraint degree 433659.18
3600.06/3608.70 c watched constraints 485582
3600.06/3608.70 c counting constraints 110134
3600.06/3608.70 c gcd simplifications 103959
3600.06/3608.70 c detected cardinalities 66
3600.06/3608.70 c weakened non-implied lits 19625939
3600.06/3608.70 c weakened non-implying lits 54999
3600.06/3608.70 c original variables 478
3600.06/3608.70 c clausal propagations 941410
3600.06/3608.70 c cardinality propagations 19686
3600.06/3608.70 c watched propagations 25457665
3600.06/3608.70 c counting propagations 21278777
3600.06/3608.70 c watch lookups 59069561463
3600.06/3608.70 c watch backjump lookups 56322875261
3600.06/3608.70 c watch checks 248174606406
3600.06/3608.70 c propagation checks 8275915240
3600.06/3608.70 c constraint additions 732922272
3600.06/3608.70 c trail pops 54454990
3600.06/3608.70 c formula constraints 478
3600.06/3608.70 c learned constraints 725597
3600.06/3608.70 c bound constraints 79
3600.06/3608.70 c core-guided constraints 54
3600.06/3608.70 c encountered formula constraints 2143861
3600.06/3608.70 c encountered learned constraints 2002369
3600.06/3608.70 c encountered bound constraints 501
3600.06/3608.70 c encountered core-guided constraints 72458
3600.06/3608.70 c LP total time 0 s
3600.06/3608.70 c LP solve time 0 s
3600.06/3608.70 c LP constraints added 0
3600.06/3608.70 c LP constraints removed 0
3600.06/3608.70 c LP pivots internal 0
3600.06/3608.70 c LP pivots root 0
3600.06/3608.70 c LP calls 0
3600.06/3608.70 c LP optimalities 0
3600.06/3608.70 c LP no pivot count 0
3600.06/3608.70 c LP infeasibilities 0
3600.06/3608.70 c LP valid Farkas constraints 0
3600.06/3608.70 c LP learned Farkas constraints 0
3600.06/3608.70 c LP basis resets 0
3600.06/3608.70 c LP cycling count 0
3600.06/3608.70 c LP singular count 0
3600.06/3608.70 c LP no primal count 0
3600.06/3608.70 c LP no farkas count 0
3600.06/3608.70 c LP other issue count 0
3600.06/3608.70 c LP Gomory cuts 0
3600.06/3608.70 c LP learned cuts 0
3600.06/3608.70 c LP deleted cuts 0
3600.06/3608.70 c LP encountered Gomory constraints 0
3600.06/3608.70 c LP encountered Farkas constraints 0
3600.06/3608.70 c LP encountered learned Farkas constraints 0
3600.06/3608.70 c CG auxiliary variables introduced 54
3600.06/3608.70 c CG solutions found 0
3600.06/3608.70 c CG cores constructed 78
3600.06/3608.70 c CG core cardinality constraints returned 0
3600.06/3608.70 c CG unit cores 0
3600.06/3608.70 c CG single cores 77
3600.06/3608.70 c CG blocks removed during cardinality reduction 0
3600.06/3608.70 c CG first core best 0
3600.06/3608.70 c CG decision core best 0
3600.06/3608.70 c CG core reduction tie 1
3600.06/3608.70 c CG core degree average 1.00
3600.06/3608.70 c CG core slack average 2.73
3600.06/3608.70 c CG exhausted 0
3600.06/3608.70 c CG exhaust time 0 s
3600.06/3608.70 c CG trimmed 2
3600.06/3608.70 c CG trim time 0.000398 s
3600.06/3608.70 c CG minimized 0
3600.06/3608.70 c CG minimize time 0 s
3600.06/3608.70 c CG am1 prop time 0.000301 s
3600.06/3608.70 c CG # am1s reformulated 54
3600.06/3608.70 c CG lower bound derived from am1s 54
3600.06/3608.70 c CG # clausal cores 15
3600.06/3608.70 c CG # cardinality cores 0
3600.06/3608.70 c CG # pb cores 64
3600.06/3608.70 c CG # pb reforms 0
3600.06/3608.70 c CG # cores discarded because of pb reform 0
3600.06/3608.70 d LOWERBOUND 132
3600.06/3608.70 d NCORES 78
3600.06/3608.70 d NPBCORES 64
3600.06/3608.70 d NPBREFORM 0
3600.06/3608.70 d NTRIMMED 2
3600.06/3608.70 d NEXHAUSTED 0
3600.06/3608.70 d NAM1S 54
3600.06/3608.70 d AM1LB 54
3600.06/3608.70 c [Papilo Statistics]
3600.06/3608.70 c prepro time 0.00144151s
3600.06/3608.70 c # tsx applied 19
3600.06/3608.70 c # tsx conflicts 0
3600.06/3608.70 c # bound changes 0
3600.06/3608.70 c # side changes 0
3600.06/3608.70 c # coef changes 36
3600.06/3608.70 c # rounds 3
3600.06/3608.70 c # deted vars 0
3600.06/3608.70 c # deted constrs 0
3600.06/3608.70 c # consecutive rounds of only bound changes 0
3600.06/3608.70 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62784 MiB free)
memory of node 1: 64473 MiB (63330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435455-1721091219/watcher-4435455-1721091219 -o /tmp/evaluation-result-4435455-1721091219/solver-4435455-1721091219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833382 --watchdog 3760 mixed-bag HOME/instance-4435455-1721091219.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=833441, runsolver pid=833427
[startup+0.100085 s]*
/proc/loadavg: 2.66 3.90 4.08 8/258 833443
/proc/meminfo: memFree=129089784/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=89496 memory=22692 CPUtime=0.02 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 2255 0 1 0 2 0 0 0 20 0 1 0 161292732 91643904 5673 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 22374 5673 3830 3002 0 6125 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 89496 KiB
Current children cumulated memory: 22692 KiB
[startup+0.20657 s]*
/proc/loadavg: 2.66 3.90 4.08 7/258 833445
/proc/meminfo: memFree=129053456/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=93276 memory=26404 CPUtime=0.13 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 3043 0 1 0 12 1 0 0 20 0 1 0 161292732 95514624 6601 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 23319 6601 4032 3002 0 7070 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 93276 KiB
Current children cumulated memory: 26404 KiB
[startup+0.306336 s]*
/proc/loadavg: 2.77 3.91 4.08 7/258 833445
/proc/meminfo: memFree=129052748/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=93276 memory=26404 CPUtime=0.23 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 3046 0 1 0 22 1 0 0 20 0 1 0 161292732 95514624 6601 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 23319 6601 4032 3002 0 7070 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 93276 KiB
Current children cumulated memory: 26404 KiB
[startup+0.700155 s]
/proc/loadavg: 2.77 3.91 4.08 6/258 833445
/proc/meminfo: memFree=129039272/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=103524 memory=36296 CPUtime=0.61 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 5545 0 1 0 60 1 0 0 20 0 1 0 161292732 106008576 9074 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 25881 9074 4048 3002 0 9632 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 103524 KiB
Current children cumulated memory: 36296 KiB
[startup+1.50021 s]
/proc/loadavg: 2.77 3.91 4.08 9/258 833445
/proc/meminfo: memFree=128994696/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=172992 memory=104888 CPUtime=1.41 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 23771 0 1 0 138 3 0 0 20 0 1 0 161292732 177143808 26222 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 43248 26222 4048 3002 0 26999 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 172992 KiB
Current children cumulated memory: 104888 KiB
[startup+3.10644 s]
/proc/loadavg: 2.77 3.91 4.08 9/258 833445
/proc/meminfo: memFree=128843584/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=228412 memory=158012 CPUtime=3.01 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 37015 0 1 0 296 5 0 0 20 0 1 0 161292732 233893888 39503 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 57103 39503 4064 3002 0 40854 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 228412 KiB
Current children cumulated memory: 158012 KiB
[startup+6.30019 s]
/proc/loadavg: 2.87 3.91 4.08 9/258 833445
/proc/meminfo: memFree=128733208/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=228100 memory=158592 CPUtime=6.2 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 37286 0 1 0 615 5 0 0 20 0 1 0 161292732 233574400 39648 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 57025 39648 4064 3002 0 40776 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 228100 KiB
Current children cumulated memory: 158592 KiB
[startup+12.7001 s]
/proc/loadavg: 2.96 3.91 4.08 9/258 833446
/proc/meminfo: memFree=128612672/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=228100 memory=158592 CPUtime=12.58 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 37290 0 1 0 1253 5 0 0 20 0 1 0 161292732 233574400 39648 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 57025 39648 4064 3002 0 40776 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 228100 KiB
Current children cumulated memory: 158592 KiB
[startup+25.5002 s]
/proc/loadavg: 3.12 3.91 4.08 9/258 833448
/proc/meminfo: memFree=128531204/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=305324 memory=233920 CPUtime=25.35 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 56081 0 1 0 2527 8 0 0 20 0 1 0 161292732 312651776 58480 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 76331 58480 4079 3002 0 60082 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 305324 KiB
Current children cumulated memory: 233920 KiB
[startup+51.1065 s]
/proc/loadavg: 3.52 3.94 4.08 9/258 833453
/proc/meminfo: memFree=128344632/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=319304 memory=248756 CPUtime=50.89 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 60683 0 1 0 5080 9 0 0 20 0 1 0 161292732 326967296 62189 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 79826 62189 4079 3002 0 63577 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 319304 KiB
Current children cumulated memory: 248756 KiB
[startup+102.3 s]
/proc/loadavg: 3.91 3.98 4.09 8/257 833847
/proc/meminfo: memFree=128391672/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=320324 memory=251184 CPUtime=101.96 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 61042 0 1 0 10187 9 0 0 20 0 1 0 161292732 328011776 62796 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 80081 62796 4079 3002 0 63832 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 320324 KiB
Current children cumulated memory: 251184 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.02 4.09 9/257 833858
/proc/meminfo: memFree=128250176/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=337964 memory=276624 CPUtime=161.81 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 65531 0 1 0 16172 9 0 0 20 0 1 0 161292732 346075136 69156 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 84491 69156 4079 3002 0 68242 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 337964 KiB
Current children cumulated memory: 276624 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.03 4.09 8/256 833871
/proc/meminfo: memFree=128129644/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=383500 memory=319472 CPUtime=221.67 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 76304 0 1 0 22157 10 0 0 20 0 1 0 161292732 392704000 79868 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 95875 79868 4079 3002 0 79626 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 383500 KiB
Current children cumulated memory: 319472 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.04 4.09 9/257 834050
/proc/meminfo: memFree=128100520/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=383500 memory=319492 CPUtime=281.53 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 76411 0 1 0 28143 10 0 0 20 0 1 0 161292732 392704000 79873 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 95875 79873 4079 3002 0 79626 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 383500 KiB
Current children cumulated memory: 319492 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.06 4.09 9/256 834061
/proc/meminfo: memFree=128392512/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=384380 memory=318416 CPUtime=341.38 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 79333 0 1 0 34073 65 0 0 20 0 1 0 161292732 393605120 79604 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 96095 79604 4207 3002 0 79846 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 384380 KiB
Current children cumulated memory: 318416 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.05 4.09 8/258 834076
/proc/meminfo: memFree=128333652/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=403348 memory=326192 CPUtime=401.23 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 79762 0 1 0 40008 115 0 0 20 0 1 0 161292732 413028352 81548 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 100837 81548 4207 3002 0 84588 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 403348 KiB
Current children cumulated memory: 326192 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.07 4.09 9/259 834101
/proc/meminfo: memFree=128294212/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=403348 memory=331008 CPUtime=461.08 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 79987 0 1 0 45956 152 0 0 20 0 1 0 161292732 413028352 82752 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 100837 82752 4207 3002 0 84588 0
################
# More data... #
################
Current children cumulated memory: 379156 KiB
[startup+2922.3 s]
/proc/loadavg: 4.21 4.16 4.10 9/258 835165
/proc/meminfo: memFree=127647028/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=434168 memory=379156 CPUtime=2915.37 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 84335 0 1 0 290787 750 0 0 20 0 1 0 161292732 444588032 94789 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 108542 94789 4207 3002 0 92293 0
Current children cumulated CPU time: 2915.37 s
Current children cumulated vsize: 434168 KiB
Current children cumulated memory: 379156 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.10 8/259 835177
/proc/meminfo: memFree=127638920/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=381204 CPUtime=2975.23 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 84409 0 1 0 296758 765 0 0 20 0 1 0 161292732 495878144 95301 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 95301 4207 3002 0 104815 0
Current children cumulated CPU time: 2975.23 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 381204 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.15 4.10 8/259 835188
/proc/meminfo: memFree=127625312/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=381228 CPUtime=3035.09 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 84474 0 1 0 302731 778 0 0 20 0 1 0 161292732 495878144 95307 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 95307 4207 3002 0 104815 0
Current children cumulated CPU time: 3035.09 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 381228 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.09 9/256 835198
/proc/meminfo: memFree=127622368/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=381228 CPUtime=3094.94 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 84540 0 1 0 308705 789 0 0 20 0 1 0 161292732 495878144 95307 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 95307 4207 3002 0 104815 0
Current children cumulated CPU time: 3094.94 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 381228 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 8/255 835225
/proc/meminfo: memFree=127621116/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=381228 CPUtime=3154.79 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 84605 0 1 0 314677 802 0 0 20 0 1 0 161292732 495878144 95307 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 95307 4207 3002 0 104815 0
Current children cumulated CPU time: 3154.79 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 381228 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.09 8/255 835236
/proc/meminfo: memFree=127618684/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=381228 CPUtime=3214.63 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 84672 0 1 0 320647 816 0 0 20 0 1 0 161292732 495878144 95307 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 95307 4207 3002 0 104815 0
Current children cumulated CPU time: 3214.63 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 381228 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.10 9/255 835247
/proc/meminfo: memFree=127614052/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=381228 CPUtime=3274.47 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 84803 0 1 0 326616 831 0 0 20 0 1 0 161292732 495878144 95307 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 95307 4207 3002 0 104815 0
Current children cumulated CPU time: 3274.47 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 381228 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.10 8/256 835259
/proc/meminfo: memFree=127597716/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=383276 CPUtime=3334.34 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 84913 0 1 0 332593 841 0 0 20 0 1 0 161292732 495878144 95819 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 95819 4207 3002 0 104815 0
Current children cumulated CPU time: 3334.34 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 383276 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.10 8/258 835274
/proc/meminfo: memFree=127587276/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=383276 CPUtime=3394.21 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 85013 0 1 0 338572 849 0 0 20 0 1 0 161292732 495878144 95819 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 95819 4207 3002 0 104815 0
Current children cumulated CPU time: 3394.21 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 383276 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.09 8/258 835285
/proc/meminfo: memFree=127565868/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=383276 CPUtime=3454.05 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 85108 0 1 0 344548 857 0 0 20 0 1 0 161292732 495878144 95819 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 95819 4207 3002 0 104815 0
Current children cumulated CPU time: 3454.05 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 383276 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 8/258 835296
/proc/meminfo: memFree=127554676/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=383276 CPUtime=3513.89 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 85212 0 1 0 350523 866 0 0 20 0 1 0 161292732 495878144 95819 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 95819 4207 3002 0 104815 0
Current children cumulated CPU time: 3513.89 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 383276 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 8/258 835306
/proc/meminfo: memFree=127542732/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=383276 CPUtime=3573.73 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 85323 0 1 0 356497 876 0 0 20 0 1 0 161292732 495878144 95819 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 95819 4207 3002 0 104815 0
Current children cumulated CPU time: 3573.73 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 383276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.15 4.12 4.09 8/257 835311
/proc/meminfo: memFree=127532452/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=385324 CPUtime=3600.06 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 85391 0 1 0 359125 881 0 0 20 0 1 0 161292732 495878144 96331 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 96331 4207 3002 0 104815 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 385324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.7 s]
# the end of solver process 833441 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.25 s, system=8.81988 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.15 4.12 4.09 8/257 835311
/proc/meminfo: memFree=127532452/131524600 swapFree=131071996/131071996
[pid=833441] ppid=833427 vsize=484256 memory=385324 CPUtime=3600.06 cores=5,7
/proc/833441/stat : 833441 (mixed-bag) R 833427 833441 833369 0 -1 4194304 85391 0 1 0 359125 881 0 0 20 0 1 0 161292732 495878144 96331 134679101440 4194304 16487941 140724775672208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7 0 0 18723592 18734648 42049536 140724775678999 140724775679076 140724775679076 140724775686091 0
/proc/833441/statm: 121064 96331 4207 3002 0 104815 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 484256 KiB
Current children cumulated memory: 385324 KiB
Child status: 0
Real time (s): 3608.7
CPU time (s): 3600.07
CPU user time (s): 3591.25
CPU system time (s): 8.81988
CPU usage (%): 99.7608
Max. virtual memory (cumulated for all children) (KiB): 484256
Max. memory (cumulated for all children) (KiB): 385324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.25
system time used= 8.81988
maximum resident set size= 386104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85414
page faults= 1
swaps= 0
block input operations= 288
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110
involuntary context switches= 1250
# summary of solver processes directly reported to runsolver:
# pid: 833441
# total CPU time (s): 3600.07
# total CPU user time (s): 3591.25
# total CPU system time (s): 8.81988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63063 second user time and 20.0394 second system time
The end
Begin job on nodeC035 at 2024-07-16 02:53:51
IDJOB=4435455
IDBENCH=147538
IDSOLVER=3066
FILE ID=nodeC035/4435455-1721091219
RUNJOBID= nodeC035-1721091231-833382
SLURM_JOB_ID= 7505584
Free space on /tmp= 890068 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435455-1721091219/watcher-4435455-1721091219 -o /tmp/evaluation-result-4435455-1721091219/solver-4435455-1721091219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833382 --watchdog 3760 mixed-bag HOME/instance-4435455-1721091219.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=247940641
nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3713.119
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3780.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3811.974
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3724.386
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3630.688
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.066
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3818.873
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3938.525
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129142404 kB
MemAvailable: 129742024 kB
Buffers: 374068 kB
Cached: 1064232 kB
SwapCached: 0 kB
Active: 682356 kB
Inactive: 1111592 kB
Active(anon): 1444 kB
Inactive(anon): 391948 kB
Active(file): 680912 kB
Inactive(file): 719644 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65332 kB
Writeback: 0 kB
AnonPages: 355684 kB
Mapped: 103668 kB
Shmem: 37724 kB
KReclaimable: 77772 kB
Slab: 181112 kB
SReclaimable: 77772 kB
SUnreclaim: 103340 kB
KernelStack: 3968 kB
PageTables: 9768 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 751332 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62528 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC035 at 2024-07-16 03:54:00