0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.04 c [STEP] solving with SCIP
299.32/300.23 c [STEP] preprocessing done, loading into solver
299.32/300.23 c [STEP] solving
299.32/300.23 c #variables 474 #constraints 472
299.32/300.23 c SMALL=int, LARGE=long long
299.32/300.23 d SCIPUB 188
299.32/300.23 c bounds - >= 0 @ 299.224
299.32/300.23 c stratification level: 0
320.65/321.64 c bounds - >= 50 @ 299.225
320.65/321.64 c bounds - >= 51 @ 299.225
320.65/321.64 c bounds - >= 52 @ 299.225
320.65/321.64 c bounds - >= 53 @ 299.225
320.65/321.64 c bounds - >= 54 @ 299.225
320.65/321.64 c bounds - >= 55 @ 299.225
320.65/321.64 c bounds - >= 56 @ 299.225
320.65/321.64 c bounds - >= 57 @ 299.225
320.65/321.64 c bounds - >= 58 @ 299.225
320.65/321.64 c bounds - >= 59 @ 299.225
320.65/321.64 c bounds - >= 60 @ 299.225
320.65/321.64 c bounds - >= 61 @ 299.225
320.65/321.64 c bounds - >= 62 @ 299.225
320.65/321.64 c bounds - >= 63 @ 299.225
320.65/321.64 c bounds - >= 64 @ 299.225
320.65/321.64 c bounds - >= 65 @ 299.225
320.65/321.64 c bounds - >= 66 @ 299.225
320.65/321.64 c bounds - >= 67 @ 299.225
320.65/321.64 c bounds - >= 68 @ 299.225
320.65/321.64 c bounds - >= 69 @ 299.225
320.65/321.64 c bounds - >= 70 @ 299.225
320.65/321.64 c bounds - >= 71 @ 299.226
320.65/321.64 c bounds - >= 72 @ 299.226
320.65/321.64 c bounds - >= 73 @ 299.226
320.65/321.64 c bounds - >= 74 @ 299.226
320.65/321.64 c bounds - >= 75 @ 299.226
320.65/321.64 c bounds - >= 76 @ 299.226
320.65/321.64 c bounds - >= 77 @ 299.226
320.65/321.64 c bounds - >= 78 @ 299.226
320.65/321.64 c bounds - >= 79 @ 299.227
320.65/321.64 c bounds - >= 80 @ 299.227
320.65/321.64 c bounds - >= 81 @ 299.227
320.65/321.64 c bounds - >= 82 @ 299.227
320.65/321.64 c bounds - >= 83 @ 299.227
320.65/321.64 c bounds - >= 84 @ 299.227
320.65/321.64 c bounds - >= 85 @ 299.227
320.65/321.64 c bounds - >= 86 @ 299.227
320.65/321.64 c bounds - >= 87 @ 299.228
320.65/321.64 c bounds - >= 88 @ 299.228
320.65/321.64 c bounds - >= 89 @ 299.228
320.65/321.64 c bounds - >= 90 @ 299.228
320.65/321.64 c bounds - >= 91 @ 299.228
320.65/321.64 c bounds - >= 92 @ 299.228
320.65/321.64 c bounds - >= 93 @ 299.228
320.65/321.64 c bounds - >= 94 @ 299.228
320.65/321.64 c bounds - >= 95 @ 299.229
320.65/321.64 c bounds - >= 96 @ 299.229
320.65/321.64 c bounds - >= 97 @ 299.229
320.65/321.64 c bounds - >= 98 @ 299.229
320.65/321.64 c bounds - >= 99 @ 299.229
320.65/321.64 c bounds - >= 100 @ 299.229
320.65/321.64 c bounds - >= 101 @ 299.229
320.65/321.64 c bounds - >= 102 @ 299.229
320.65/321.64 c bounds - >= 103 @ 299.229
320.65/321.64 c bounds - >= 104 @ 299.229
320.65/321.64 c bounds - >= 105 @ 299.229
320.65/321.64 c bounds - >= 106 @ 299.229
320.65/321.64 c bounds - >= 107 @ 299.229
320.65/321.64 c bounds - >= 108 @ 299.229
320.65/321.64 c bounds - >= 109 @ 299.23
320.65/321.64 c bounds - >= 110 @ 299.23
320.65/321.64 c bounds - >= 111 @ 299.23
320.65/321.64 c bounds - >= 112 @ 299.23
320.65/321.64 c bounds - >= 113 @ 299.23
320.65/321.64 c bounds - >= 114 @ 299.23
320.65/321.64 c bounds - >= 115 @ 299.231
320.65/321.64 c bounds - >= 116 @ 299.231
320.65/321.64 c bounds - >= 117 @ 299.231
320.65/321.64 c bounds - >= 118 @ 299.231
320.65/321.64 c bounds - >= 119 @ 299.231
320.65/321.64 c bounds - >= 120 @ 299.231
320.65/321.64 c bounds - >= 121 @ 299.231
320.65/321.64 c bounds - >= 122 @ 299.231
320.65/321.64 c bounds - >= 123 @ 299.232
320.65/321.64 c bounds - >= 124 @ 299.232
320.65/321.64 c bounds - >= 125 @ 299.232
320.65/321.64 c #Conflicts: 1000 | #Constraints: 1611
320.65/321.64 c #Conflicts: 2000 | #Constraints: 2611
320.65/321.64 c INPROCESSING
320.65/321.64 c GARBAGE COLLECT
320.65/321.64 c #Conflicts: 3000 | #Constraints: 2532
320.65/321.64 c #Conflicts: 4000 | #Constraints: 3532
320.65/321.64 c INPROCESSING
320.65/321.64 c GARBAGE COLLECT
320.65/321.64 c #Conflicts: 5000 | #Constraints: 2936
320.65/321.64 c #Conflicts: 6000 | #Constraints: 3936
320.65/321.64 c INPROCESSING
320.65/321.64 c GARBAGE COLLECT
320.65/321.64 c #Conflicts: 7000 | #Constraints: 2937
320.65/321.64 c #Conflicts: 8000 | #Constraints: 3937
320.65/321.64 c #Conflicts: 9000 | #Constraints: 4937
320.65/321.64 c INPROCESSING
320.65/321.64 c GARBAGE COLLECT
320.65/321.64 c #Conflicts: 10000 | #Constraints: 3635
320.65/321.64 c #Conflicts: 11000 | #Constraints: 4635
320.65/321.64 c #Conflicts: 12000 | #Constraints: 5635
320.65/321.64 c INPROCESSING
320.65/321.64 c GARBAGE COLLECT
320.65/321.64 c #Conflicts: 13000 | #Constraints: 4086
320.65/321.64 c #Conflicts: 14000 | #Constraints: 5086
320.65/321.64 c #Conflicts: 15000 | #Constraints: 6086
320.65/321.64 c INPROCESSING
320.65/321.64 c GARBAGE COLLECT
320.65/321.64 c #Conflicts: 16000 | #Constraints: 4314
320.65/321.64 c #Conflicts: 17000 | #Constraints: 5314
320.65/321.64 c #Conflicts: 18000 | #Constraints: 6314
320.65/321.64 c INPROCESSING
320.65/321.64 c GARBAGE COLLECT
320.65/321.64 c #Conflicts: 19000 | #Constraints: 4325
320.65/321.64 c #Conflicts: 20000 | #Constraints: 5325
320.65/321.64 c #Conflicts: 21000 | #Constraints: 6325
320.65/321.64 c INPROCESSING
320.65/321.64 c GARBAGE COLLECT
320.65/321.64 c #Conflicts: 22000 | #Constraints: 4133
320.65/321.64 c #Conflicts: 23000 | #Constraints: 5133
320.65/321.64 c #Conflicts: 24000 | #Constraints: 6133
320.65/321.64 c #Conflicts: 25000 | #Constraints: 7133
320.65/321.64 c INPROCESSING
320.65/321.64 c GARBAGE COLLECT
320.65/321.64 c #Conflicts: 26000 | #Constraints: 4737
320.65/321.64 c #Conflicts: 27000 | #Constraints: 5737
320.65/321.64 c #Conflicts: 28000 | #Constraints: 6737
320.65/321.64 c #Conflicts: 29000 | #Constraints: 7737
320.65/321.64 c INPROCESSING
320.65/321.64 c GARBAGE COLLECT
320.65/321.64 c #Conflicts: 30000 | #Constraints: 5135
320.65/321.64 c #Conflicts: 31000 | #Constraints: 6135
320.65/321.64 c #Conflicts: 32000 | #Constraints: 7135
320.65/321.64 c #Conflicts: 33000 | #Constraints: 8135
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 34000 | #Constraints: 5334
428.95/430.38 c #Conflicts: 35000 | #Constraints: 6334
428.95/430.38 c #Conflicts: 36000 | #Constraints: 7334
428.95/430.38 c #Conflicts: 37000 | #Constraints: 8334
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 38000 | #Constraints: 5343
428.95/430.38 c #Conflicts: 39000 | #Constraints: 6343
428.95/430.38 c #Conflicts: 40000 | #Constraints: 7343
428.95/430.38 c #Conflicts: 41000 | #Constraints: 8343
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 42000 | #Constraints: 5144
428.95/430.38 c #Conflicts: 43000 | #Constraints: 6144
428.95/430.38 c #Conflicts: 44000 | #Constraints: 7144
428.95/430.38 c #Conflicts: 45000 | #Constraints: 8144
428.95/430.38 c #Conflicts: 46000 | #Constraints: 9144
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 47000 | #Constraints: 5740
428.95/430.38 c #Conflicts: 48000 | #Constraints: 6740
428.95/430.38 c #Conflicts: 49000 | #Constraints: 7740
428.95/430.38 c #Conflicts: 50000 | #Constraints: 8740
428.95/430.38 c #Conflicts: 51000 | #Constraints: 9740
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 52000 | #Constraints: 6139
428.95/430.38 c #Conflicts: 53000 | #Constraints: 7139
428.95/430.38 c #Conflicts: 54000 | #Constraints: 8139
428.95/430.38 c #Conflicts: 55000 | #Constraints: 9139
428.95/430.38 c #Conflicts: 56000 | #Constraints: 10139
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 57000 | #Constraints: 6340
428.95/430.38 c #Conflicts: 58000 | #Constraints: 7340
428.95/430.38 c #Conflicts: 59000 | #Constraints: 8340
428.95/430.38 c #Conflicts: 60000 | #Constraints: 9340
428.95/430.38 c #Conflicts: 61000 | #Constraints: 10340
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 62000 | #Constraints: 6340
428.95/430.38 c #Conflicts: 63000 | #Constraints: 7340
428.95/430.38 c #Conflicts: 64000 | #Constraints: 8340
428.95/430.38 c #Conflicts: 65000 | #Constraints: 9340
428.95/430.38 c #Conflicts: 66000 | #Constraints: 10340
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 67000 | #Constraints: 6140
428.95/430.38 c #Conflicts: 68000 | #Constraints: 7140
428.95/430.38 c #Conflicts: 69000 | #Constraints: 8140
428.95/430.38 c #Conflicts: 70000 | #Constraints: 9140
428.95/430.38 c #Conflicts: 71000 | #Constraints: 10140
428.95/430.38 c #Conflicts: 72000 | #Constraints: 11140
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 73000 | #Constraints: 6740
428.95/430.38 c #Conflicts: 74000 | #Constraints: 7740
428.95/430.38 c #Conflicts: 75000 | #Constraints: 8740
428.95/430.38 c #Conflicts: 76000 | #Constraints: 9740
428.95/430.38 c #Conflicts: 77000 | #Constraints: 10740
428.95/430.38 c #Conflicts: 78000 | #Constraints: 11740
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 79000 | #Constraints: 7143
428.95/430.38 c #Conflicts: 80000 | #Constraints: 8143
428.95/430.38 c #Conflicts: 81000 | #Constraints: 9143
428.95/430.38 c #Conflicts: 82000 | #Constraints: 10143
428.95/430.38 c #Conflicts: 83000 | #Constraints: 11143
428.95/430.38 c #Conflicts: 84000 | #Constraints: 12143
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 85000 | #Constraints: 7341
428.95/430.38 c #Conflicts: 86000 | #Constraints: 8341
428.95/430.38 c #Conflicts: 87000 | #Constraints: 9341
428.95/430.38 c #Conflicts: 88000 | #Constraints: 10341
428.95/430.38 c #Conflicts: 89000 | #Constraints: 11341
428.95/430.38 c #Conflicts: 90000 | #Constraints: 12341
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 91000 | #Constraints: 7344
428.95/430.38 c #Conflicts: 92000 | #Constraints: 8344
428.95/430.38 c #Conflicts: 93000 | #Constraints: 9344
428.95/430.38 c #Conflicts: 94000 | #Constraints: 10344
428.95/430.38 c #Conflicts: 95000 | #Constraints: 11344
428.95/430.38 c #Conflicts: 96000 | #Constraints: 12344
428.95/430.38 c INPROCESSING
428.95/430.38 c GARBAGE COLLECT
428.95/430.38 c #Conflicts: 97000 | #Constraints: 7142
428.95/430.38 c #Conflicts: 98000 | #Constraints: 8142
428.95/430.38 c #Conflicts: 99000 | #Constraints: 9142
428.95/430.38 c #Conflicts: 100000 | #Constraints: 10142
428.95/430.38 c #Conflicts: 101000 | #Constraints: 11142
428.95/430.38 c #Conflicts: 102000 | #Constraints: 12142
428.95/430.38 c #Conflicts: 103000 | #Constraints: 13142
428.95/430.38 c INPROCESSING
597.06/599.05 c GARBAGE COLLECT
597.06/599.05 c #Conflicts: 104000 | #Constraints: 7739
597.06/599.05 c #Conflicts: 105000 | #Constraints: 8739
597.06/599.05 c #Conflicts: 106000 | #Constraints: 9739
597.06/599.05 c #Conflicts: 107000 | #Constraints: 10739
597.06/599.05 c #Conflicts: 108000 | #Constraints: 11739
597.06/599.05 c #Conflicts: 109000 | #Constraints: 12739
597.06/599.05 c #Conflicts: 110000 | #Constraints: 13739
597.06/599.05 c INPROCESSING
597.06/599.05 c GARBAGE COLLECT
597.06/599.05 c #Conflicts: 111000 | #Constraints: 8141
597.06/599.05 c #Conflicts: 112000 | #Constraints: 9141
597.06/599.05 c #Conflicts: 113000 | #Constraints: 10141
597.06/599.05 c #Conflicts: 114000 | #Constraints: 11141
597.06/599.05 c #Conflicts: 115000 | #Constraints: 12141
597.06/599.05 c #Conflicts: 116000 | #Constraints: 13141
597.06/599.05 c #Conflicts: 117000 | #Constraints: 14141
597.06/599.05 c INPROCESSING
597.06/599.05 c GARBAGE COLLECT
597.06/599.05 c #Conflicts: 118000 | #Constraints: 8342
597.06/599.05 c #Conflicts: 119000 | #Constraints: 9342
597.06/599.05 c #Conflicts: 120000 | #Constraints: 10342
597.06/599.05 c #Conflicts: 121000 | #Constraints: 11342
597.06/599.05 c #Conflicts: 122000 | #Constraints: 12342
597.06/599.05 c #Conflicts: 123000 | #Constraints: 13342
597.06/599.05 c #Conflicts: 124000 | #Constraints: 14342
597.06/599.05 c INPROCESSING
597.06/599.05 c GARBAGE COLLECT
597.06/599.05 c #Conflicts: 125000 | #Constraints: 8340
597.06/599.05 c #Conflicts: 126000 | #Constraints: 9340
597.06/599.05 c #Conflicts: 127000 | #Constraints: 10340
597.06/599.05 c #Conflicts: 128000 | #Constraints: 11340
597.06/599.05 c #Conflicts: 129000 | #Constraints: 12340
597.06/599.05 c #Conflicts: 130000 | #Constraints: 13340
597.06/599.05 c #Conflicts: 131000 | #Constraints: 14340
597.06/599.05 c INPROCESSING
597.06/599.05 c GARBAGE COLLECT
597.06/599.05 c #Conflicts: 132000 | #Constraints: 8138
597.06/599.05 c #Conflicts: 133000 | #Constraints: 9138
597.06/599.05 c #Conflicts: 134000 | #Constraints: 10138
597.06/599.05 c #Conflicts: 135000 | #Constraints: 11138
597.06/599.05 c #Conflicts: 136000 | #Constraints: 12138
597.06/599.05 c #Conflicts: 137000 | #Constraints: 13138
597.06/599.05 c #Conflicts: 138000 | #Constraints: 14138
597.06/599.05 c #Conflicts: 139000 | #Constraints: 15138
597.06/599.05 c INPROCESSING
597.06/599.05 c GARBAGE COLLECT
597.06/599.05 c #Conflicts: 140000 | #Constraints: 8737
597.06/599.05 c #Conflicts: 141000 | #Constraints: 9737
597.06/599.05 c #Conflicts: 142000 | #Constraints: 10737
597.06/599.05 c #Conflicts: 143000 | #Constraints: 11737
597.06/599.05 c #Conflicts: 144000 | #Constraints: 12737
597.06/599.05 c #Conflicts: 145000 | #Constraints: 13737
597.06/599.05 c #Conflicts: 146000 | #Constraints: 14737
597.06/599.05 c #Conflicts: 147000 | #Constraints: 15737
597.06/599.05 c INPROCESSING
597.06/599.05 c GARBAGE COLLECT
597.06/599.05 c #Conflicts: 148000 | #Constraints: 9139
597.06/599.05 c #Conflicts: 149000 | #Constraints: 10139
597.06/599.05 c #Conflicts: 150000 | #Constraints: 11139
597.06/599.05 c #Conflicts: 151000 | #Constraints: 12139
597.06/599.05 c #Conflicts: 152000 | #Constraints: 13139
597.06/599.05 c #Conflicts: 153000 | #Constraints: 14139
597.06/599.05 c #Conflicts: 154000 | #Constraints: 15139
597.06/599.05 c #Conflicts: 155000 | #Constraints: 16139
597.06/599.05 c INPROCESSING
597.06/599.05 c GARBAGE COLLECT
597.06/599.05 c #Conflicts: 156000 | #Constraints: 9340
597.06/599.05 c #Conflicts: 157000 | #Constraints: 10340
597.06/599.05 c #Conflicts: 158000 | #Constraints: 11340
597.06/599.05 c #Conflicts: 159000 | #Constraints: 12340
597.06/599.05 c #Conflicts: 160000 | #Constraints: 13340
597.06/599.05 c #Conflicts: 161000 | #Constraints: 14340
597.06/599.05 c #Conflicts: 162000 | #Constraints: 15340
597.06/599.05 c #Conflicts: 163000 | #Constraints: 16340
597.06/599.05 c INPROCESSING
597.06/599.05 c GARBAGE COLLECT
597.06/599.05 c #Conflicts: 164000 | #Constraints: 9339
597.06/599.05 c #Conflicts: 165000 | #Constraints: 10339
597.06/599.05 c #Conflicts: 166000 | #Constraints: 11339
597.06/599.05 c #Conflicts: 167000 | #Constraints: 12339
597.06/599.05 c #Conflicts: 168000 | #Constraints: 13339
597.06/599.05 c #Conflicts: 169000 | #Constraints: 14339
597.06/599.05 c #Conflicts: 170000 | #Constraints: 15339
597.06/599.05 c #Conflicts: 171000 | #Constraints: 16339
597.06/599.05 c INPROCESSING
597.06/599.05 c GARBAGE COLLECT
597.06/599.05 c #Conflicts: 172000 | #Constraints: 9143
597.06/599.05 c #Conflicts: 173000 | #Constraints: 10143
597.06/599.05 c #Conflicts: 174000 | #Constraints: 11143
597.06/599.05 c #Conflicts: 175000 | #Constraints: 12143
597.06/599.05 c #Conflicts: 176000 | #Constraints: 13143
830.71/833.42 c #Conflicts: 177000 | #Constraints: 14143
830.71/833.42 c #Conflicts: 178000 | #Constraints: 15143
830.71/833.42 c #Conflicts: 179000 | #Constraints: 16143
830.71/833.42 c #Conflicts: 180000 | #Constraints: 17143
830.71/833.42 c INPROCESSING
830.71/833.42 c GARBAGE COLLECT
830.71/833.42 c #Conflicts: 181000 | #Constraints: 9742
830.71/833.42 c #Conflicts: 182000 | #Constraints: 10742
830.71/833.42 c #Conflicts: 183000 | #Constraints: 11742
830.71/833.42 c #Conflicts: 184000 | #Constraints: 12742
830.71/833.42 c #Conflicts: 185000 | #Constraints: 13742
830.71/833.42 c #Conflicts: 186000 | #Constraints: 14742
830.71/833.42 c #Conflicts: 187000 | #Constraints: 15742
830.71/833.42 c #Conflicts: 188000 | #Constraints: 16742
830.71/833.42 c #Conflicts: 189000 | #Constraints: 17742
830.71/833.42 c INPROCESSING
830.71/833.42 c GARBAGE COLLECT
830.71/833.42 c #Conflicts: 190000 | #Constraints: 10142
830.71/833.42 c #Conflicts: 191000 | #Constraints: 11142
830.71/833.42 c #Conflicts: 192000 | #Constraints: 12142
830.71/833.42 c #Conflicts: 193000 | #Constraints: 13142
830.71/833.42 c #Conflicts: 194000 | #Constraints: 14142
830.71/833.42 c #Conflicts: 195000 | #Constraints: 15142
830.71/833.42 c #Conflicts: 196000 | #Constraints: 16142
830.71/833.42 c #Conflicts: 197000 | #Constraints: 17142
830.71/833.42 c #Conflicts: 198000 | #Constraints: 18142
830.71/833.42 c INPROCESSING
830.71/833.42 c GARBAGE COLLECT
830.71/833.42 c #Conflicts: 199000 | #Constraints: 10343
830.71/833.42 c #Conflicts: 200000 | #Constraints: 11343
830.71/833.42 c #Conflicts: 201000 | #Constraints: 12343
830.71/833.42 c #Conflicts: 202000 | #Constraints: 13343
830.71/833.42 c #Conflicts: 203000 | #Constraints: 14343
830.71/833.42 c #Conflicts: 204000 | #Constraints: 15343
830.71/833.42 c #Conflicts: 205000 | #Constraints: 16343
830.71/833.42 c #Conflicts: 206000 | #Constraints: 17343
830.71/833.42 c #Conflicts: 207000 | #Constraints: 18343
830.71/833.42 c INPROCESSING
830.71/833.42 c GARBAGE COLLECT
830.71/833.42 c #Conflicts: 208000 | #Constraints: 10343
830.71/833.42 c #Conflicts: 209000 | #Constraints: 11343
830.71/833.42 c #Conflicts: 210000 | #Constraints: 12343
830.71/833.42 c #Conflicts: 211000 | #Constraints: 13343
830.71/833.42 c #Conflicts: 212000 | #Constraints: 14343
830.71/833.42 c #Conflicts: 213000 | #Constraints: 15343
830.71/833.42 c #Conflicts: 214000 | #Constraints: 16343
830.71/833.42 c #Conflicts: 215000 | #Constraints: 17343
830.71/833.42 c #Conflicts: 216000 | #Constraints: 18343
830.71/833.42 c INPROCESSING
830.71/833.42 c GARBAGE COLLECT
830.71/833.42 c #Conflicts: 217000 | #Constraints: 10144
830.71/833.42 c #Conflicts: 218000 | #Constraints: 11144
830.71/833.42 c #Conflicts: 219000 | #Constraints: 12144
830.71/833.42 c #Conflicts: 220000 | #Constraints: 13144
830.71/833.42 c #Conflicts: 221000 | #Constraints: 14144
830.71/833.42 c #Conflicts: 222000 | #Constraints: 15144
830.71/833.42 c #Conflicts: 223000 | #Constraints: 16144
830.71/833.42 c #Conflicts: 224000 | #Constraints: 17144
830.71/833.42 c #Conflicts: 225000 | #Constraints: 18144
830.71/833.42 c #Conflicts: 226000 | #Constraints: 19144
830.71/833.42 c INPROCESSING
830.71/833.42 c GARBAGE COLLECT
830.71/833.42 c #Conflicts: 227000 | #Constraints: 10750
830.71/833.42 c #Conflicts: 228000 | #Constraints: 11750
830.71/833.42 c #Conflicts: 229000 | #Constraints: 12750
830.71/833.42 c #Conflicts: 230000 | #Constraints: 13750
830.71/833.42 c #Conflicts: 231000 | #Constraints: 14750
830.71/833.42 c #Conflicts: 232000 | #Constraints: 15750
830.71/833.42 c #Conflicts: 233000 | #Constraints: 16750
830.71/833.42 c #Conflicts: 234000 | #Constraints: 17750
830.71/833.42 c #Conflicts: 235000 | #Constraints: 18750
830.71/833.42 c #Conflicts: 236000 | #Constraints: 19750
830.71/833.42 c INPROCESSING
830.71/833.42 c GARBAGE COLLECT
830.71/833.42 c #Conflicts: 237000 | #Constraints: 11151
830.71/833.42 c #Conflicts: 238000 | #Constraints: 12151
830.71/833.42 c #Conflicts: 239000 | #Constraints: 13151
830.71/833.42 c #Conflicts: 240000 | #Constraints: 14151
830.71/833.42 c #Conflicts: 241000 | #Constraints: 15151
830.71/833.42 c #Conflicts: 242000 | #Constraints: 16151
830.71/833.42 c #Conflicts: 243000 | #Constraints: 17151
830.71/833.42 c #Conflicts: 244000 | #Constraints: 18151
830.71/833.42 c #Conflicts: 245000 | #Constraints: 19151
830.71/833.42 c #Conflicts: 246000 | #Constraints: 20151
830.71/833.42 c INPROCESSING
830.71/833.42 c GARBAGE COLLECT
830.71/833.42 c #Conflicts: 247000 | #Constraints: 11345
830.71/833.42 c #Conflicts: 248000 | #Constraints: 12345
830.71/833.42 c #Conflicts: 249000 | #Constraints: 13345
830.71/833.42 c #Conflicts: 250000 | #Constraints: 14345
1054.61/1057.97 c #Conflicts: 251000 | #Constraints: 15345
1054.61/1057.97 c #Conflicts: 252000 | #Constraints: 16345
1054.61/1057.97 c #Conflicts: 253000 | #Constraints: 17345
1054.61/1057.97 c #Conflicts: 254000 | #Constraints: 18345
1054.61/1057.97 c #Conflicts: 255000 | #Constraints: 19345
1054.61/1057.97 c #Conflicts: 256000 | #Constraints: 20345
1054.61/1057.97 c INPROCESSING
1054.61/1057.97 c GARBAGE COLLECT
1054.61/1057.97 c #Conflicts: 257000 | #Constraints: 11341
1054.61/1057.97 c #Conflicts: 258000 | #Constraints: 12341
1054.61/1057.97 c #Conflicts: 259000 | #Constraints: 13341
1054.61/1057.97 c #Conflicts: 260000 | #Constraints: 14341
1054.61/1057.97 c #Conflicts: 261000 | #Constraints: 15341
1054.61/1057.97 c #Conflicts: 262000 | #Constraints: 16341
1054.61/1057.97 c #Conflicts: 263000 | #Constraints: 17341
1054.61/1057.97 c #Conflicts: 264000 | #Constraints: 18341
1054.61/1057.97 c #Conflicts: 265000 | #Constraints: 19341
1054.61/1057.97 c #Conflicts: 266000 | #Constraints: 20341
1054.61/1057.97 c INPROCESSING
1054.61/1057.97 c GARBAGE COLLECT
1054.61/1057.97 c #Conflicts: 267000 | #Constraints: 11143
1054.61/1057.97 c #Conflicts: 268000 | #Constraints: 12143
1054.61/1057.97 c #Conflicts: 269000 | #Constraints: 13143
1054.61/1057.97 c #Conflicts: 270000 | #Constraints: 14143
1054.61/1057.97 c #Conflicts: 271000 | #Constraints: 15143
1054.61/1057.97 c #Conflicts: 272000 | #Constraints: 16143
1054.61/1057.97 c #Conflicts: 273000 | #Constraints: 17143
1054.61/1057.97 c #Conflicts: 274000 | #Constraints: 18143
1054.61/1057.97 c #Conflicts: 275000 | #Constraints: 19143
1054.61/1057.97 c #Conflicts: 276000 | #Constraints: 20143
1054.61/1057.97 c #Conflicts: 277000 | #Constraints: 21143
1054.61/1057.97 c INPROCESSING
1054.61/1057.97 c GARBAGE COLLECT
1054.61/1057.97 c #Conflicts: 278000 | #Constraints: 11738
1054.61/1057.97 c #Conflicts: 279000 | #Constraints: 12738
1054.61/1057.97 c #Conflicts: 280000 | #Constraints: 13738
1054.61/1057.97 c #Conflicts: 281000 | #Constraints: 14738
1054.61/1057.97 c #Conflicts: 282000 | #Constraints: 15738
1054.61/1057.97 c #Conflicts: 283000 | #Constraints: 16738
1054.61/1057.97 c #Conflicts: 284000 | #Constraints: 17738
1054.61/1057.97 c #Conflicts: 285000 | #Constraints: 18738
1054.61/1057.97 c #Conflicts: 286000 | #Constraints: 19738
1054.61/1057.97 c #Conflicts: 287000 | #Constraints: 20738
1054.61/1057.97 c #Conflicts: 288000 | #Constraints: 21738
1054.61/1057.97 c INPROCESSING
1054.61/1057.97 c GARBAGE COLLECT
1054.61/1057.97 c #Conflicts: 289000 | #Constraints: 12137
1054.61/1057.97 c #Conflicts: 290000 | #Constraints: 13137
1054.61/1057.97 c #Conflicts: 291000 | #Constraints: 14137
1054.61/1057.97 c #Conflicts: 292000 | #Constraints: 15137
1054.61/1057.97 c #Conflicts: 293000 | #Constraints: 16137
1054.61/1057.97 c #Conflicts: 294000 | #Constraints: 17137
1054.61/1057.97 c #Conflicts: 295000 | #Constraints: 18137
1054.61/1057.97 c #Conflicts: 296000 | #Constraints: 19137
1054.61/1057.97 c #Conflicts: 297000 | #Constraints: 20137
1054.61/1057.97 c #Conflicts: 298000 | #Constraints: 21137
1054.61/1057.97 c #Conflicts: 299000 | #Constraints: 22137
1054.61/1057.97 c INPROCESSING
1054.61/1057.97 c GARBAGE COLLECT
1054.61/1057.97 c #Conflicts: 300000 | #Constraints: 12341
1054.61/1057.97 c #Conflicts: 301000 | #Constraints: 13341
1054.61/1057.97 c #Conflicts: 302000 | #Constraints: 14341
1054.61/1057.97 c #Conflicts: 303000 | #Constraints: 15341
1054.61/1057.97 c #Conflicts: 304000 | #Constraints: 16341
1054.61/1057.97 c #Conflicts: 305000 | #Constraints: 17341
1054.61/1057.97 c #Conflicts: 306000 | #Constraints: 18341
1054.61/1057.97 c #Conflicts: 307000 | #Constraints: 19341
1054.61/1057.97 c #Conflicts: 308000 | #Constraints: 20341
1054.61/1057.97 c #Conflicts: 309000 | #Constraints: 21341
1054.61/1057.97 c #Conflicts: 310000 | #Constraints: 22341
1054.61/1057.97 c INPROCESSING
1054.61/1057.97 c GARBAGE COLLECT
1054.61/1057.97 c #Conflicts: 311000 | #Constraints: 12340
1054.61/1057.97 c #Conflicts: 312000 | #Constraints: 13340
1054.61/1057.97 c #Conflicts: 313000 | #Constraints: 14340
1054.61/1057.97 c #Conflicts: 314000 | #Constraints: 15340
1054.61/1057.97 c #Conflicts: 315000 | #Constraints: 16340
1054.61/1057.97 c #Conflicts: 316000 | #Constraints: 17340
1054.61/1057.97 c #Conflicts: 317000 | #Constraints: 18340
1054.61/1057.97 c #Conflicts: 318000 | #Constraints: 19340
1054.61/1057.97 c #Conflicts: 319000 | #Constraints: 20340
1054.61/1057.97 c #Conflicts: 320000 | #Constraints: 21340
1054.61/1057.97 c #Conflicts: 321000 | #Constraints: 22340
1054.61/1057.97 c INPROCESSING
1054.61/1057.97 c GARBAGE COLLECT
1054.61/1057.97 c #Conflicts: 322000 | #Constraints: 12143
1054.61/1057.97 c #Conflicts: 323000 | #Constraints: 13143
1054.61/1057.97 c #Conflicts: 324000 | #Constraints: 14143
1367.38/1371.57 c #Conflicts: 325000 | #Constraints: 15143
1367.38/1371.57 c #Conflicts: 326000 | #Constraints: 16143
1367.38/1371.57 c #Conflicts: 327000 | #Constraints: 17143
1367.38/1371.57 c #Conflicts: 328000 | #Constraints: 18143
1367.38/1371.57 c #Conflicts: 329000 | #Constraints: 19143
1367.38/1371.57 c #Conflicts: 330000 | #Constraints: 20143
1367.38/1371.57 c #Conflicts: 331000 | #Constraints: 21143
1367.38/1371.57 c #Conflicts: 332000 | #Constraints: 22143
1367.38/1371.57 c #Conflicts: 333000 | #Constraints: 23143
1367.38/1371.57 c INPROCESSING
1367.38/1371.57 c GARBAGE COLLECT
1367.38/1371.57 c #Conflicts: 334000 | #Constraints: 12739
1367.38/1371.57 c #Conflicts: 335000 | #Constraints: 13739
1367.38/1371.57 c #Conflicts: 336000 | #Constraints: 14739
1367.38/1371.57 c #Conflicts: 337000 | #Constraints: 15739
1367.38/1371.57 c #Conflicts: 338000 | #Constraints: 16739
1367.38/1371.57 c #Conflicts: 339000 | #Constraints: 17739
1367.38/1371.57 c #Conflicts: 340000 | #Constraints: 18739
1367.38/1371.57 c #Conflicts: 341000 | #Constraints: 19739
1367.38/1371.57 c #Conflicts: 342000 | #Constraints: 20739
1367.38/1371.57 c #Conflicts: 343000 | #Constraints: 21739
1367.38/1371.57 c #Conflicts: 344000 | #Constraints: 22739
1367.38/1371.57 c #Conflicts: 345000 | #Constraints: 23739
1367.38/1371.57 c INPROCESSING
1367.38/1371.57 c GARBAGE COLLECT
1367.38/1371.57 c #Conflicts: 346000 | #Constraints: 13138
1367.38/1371.57 c #Conflicts: 347000 | #Constraints: 14138
1367.38/1371.57 c #Conflicts: 348000 | #Constraints: 15138
1367.38/1371.57 c #Conflicts: 349000 | #Constraints: 16138
1367.38/1371.57 c #Conflicts: 350000 | #Constraints: 17138
1367.38/1371.57 c #Conflicts: 351000 | #Constraints: 18138
1367.38/1371.57 c #Conflicts: 352000 | #Constraints: 19138
1367.38/1371.57 c #Conflicts: 353000 | #Constraints: 20138
1367.38/1371.57 c #Conflicts: 354000 | #Constraints: 21138
1367.38/1371.57 c #Conflicts: 355000 | #Constraints: 22138
1367.38/1371.57 c #Conflicts: 356000 | #Constraints: 23138
1367.38/1371.57 c #Conflicts: 357000 | #Constraints: 24138
1367.38/1371.57 c INPROCESSING
1367.38/1371.57 c GARBAGE COLLECT
1367.38/1371.57 c #Conflicts: 358000 | #Constraints: 13336
1367.38/1371.57 c #Conflicts: 359000 | #Constraints: 14336
1367.38/1371.57 c #Conflicts: 360000 | #Constraints: 15336
1367.38/1371.57 c #Conflicts: 361000 | #Constraints: 16336
1367.38/1371.57 c #Conflicts: 362000 | #Constraints: 17336
1367.38/1371.57 c #Conflicts: 363000 | #Constraints: 18336
1367.38/1371.57 c #Conflicts: 364000 | #Constraints: 19336
1367.38/1371.57 c #Conflicts: 365000 | #Constraints: 20336
1367.38/1371.57 c #Conflicts: 366000 | #Constraints: 21336
1367.38/1371.57 c #Conflicts: 367000 | #Constraints: 22336
1367.38/1371.57 c #Conflicts: 368000 | #Constraints: 23336
1367.38/1371.57 c #Conflicts: 369000 | #Constraints: 24336
1367.38/1371.57 c INPROCESSING
1367.38/1371.57 c GARBAGE COLLECT
1367.38/1371.57 c #Conflicts: 370000 | #Constraints: 13342
1367.38/1371.57 c #Conflicts: 371000 | #Constraints: 14342
1367.38/1371.57 c #Conflicts: 372000 | #Constraints: 15342
1367.38/1371.57 c #Conflicts: 373000 | #Constraints: 16342
1367.38/1371.57 c #Conflicts: 374000 | #Constraints: 17342
1367.38/1371.57 c #Conflicts: 375000 | #Constraints: 18342
1367.38/1371.57 c #Conflicts: 376000 | #Constraints: 19342
1367.38/1371.57 c #Conflicts: 377000 | #Constraints: 20342
1367.38/1371.57 c #Conflicts: 378000 | #Constraints: 21342
1367.38/1371.57 c #Conflicts: 379000 | #Constraints: 22342
1367.38/1371.57 c #Conflicts: 380000 | #Constraints: 23342
1367.38/1371.57 c #Conflicts: 381000 | #Constraints: 24342
1367.38/1371.57 c INPROCESSING
1367.38/1371.57 c GARBAGE COLLECT
1367.38/1371.57 c #Conflicts: 382000 | #Constraints: 13140
1367.38/1371.57 c #Conflicts: 383000 | #Constraints: 14140
1367.38/1371.57 c #Conflicts: 384000 | #Constraints: 15140
1367.38/1371.57 c #Conflicts: 385000 | #Constraints: 16140
1367.38/1371.57 c #Conflicts: 386000 | #Constraints: 17140
1367.38/1371.57 c #Conflicts: 387000 | #Constraints: 18140
1367.38/1371.57 c #Conflicts: 388000 | #Constraints: 19140
1367.38/1371.57 c #Conflicts: 389000 | #Constraints: 20140
1367.38/1371.57 c #Conflicts: 390000 | #Constraints: 21140
1367.38/1371.57 c #Conflicts: 391000 | #Constraints: 22140
1367.38/1371.57 c #Conflicts: 392000 | #Constraints: 23140
1367.38/1371.57 c #Conflicts: 393000 | #Constraints: 24140
1367.38/1371.57 c #Conflicts: 394000 | #Constraints: 25140
1367.38/1371.57 c INPROCESSING
1367.38/1371.57 c GARBAGE COLLECT
1367.38/1371.57 c #Conflicts: 395000 | #Constraints: 13738
1367.38/1371.57 c #Conflicts: 396000 | #Constraints: 14738
1367.38/1371.57 c #Conflicts: 397000 | #Constraints: 15738
1367.38/1371.57 c #Conflicts: 398000 | #Constraints: 16738
1367.38/1371.57 c #Conflicts: 399000 | #Constraints: 17738
1786.98/1792.34 c #Conflicts: 400000 | #Constraints: 18738
1786.98/1792.34 c #Conflicts: 401000 | #Constraints: 19738
1786.98/1792.34 c #Conflicts: 402000 | #Constraints: 20738
1786.98/1792.34 c #Conflicts: 403000 | #Constraints: 21738
1786.98/1792.34 c #Conflicts: 404000 | #Constraints: 22738
1786.98/1792.34 c #Conflicts: 405000 | #Constraints: 23738
1786.98/1792.34 c #Conflicts: 406000 | #Constraints: 24738
1786.98/1792.34 c #Conflicts: 407000 | #Constraints: 25738
1786.98/1792.34 c INPROCESSING
1786.98/1792.34 c GARBAGE COLLECT
1786.98/1792.34 c #Conflicts: 408000 | #Constraints: 14138
1786.98/1792.34 c #Conflicts: 409000 | #Constraints: 15138
1786.98/1792.34 c #Conflicts: 410000 | #Constraints: 16138
1786.98/1792.34 c #Conflicts: 411000 | #Constraints: 17138
1786.98/1792.34 c #Conflicts: 412000 | #Constraints: 18138
1786.98/1792.34 c #Conflicts: 413000 | #Constraints: 19138
1786.98/1792.34 c #Conflicts: 414000 | #Constraints: 20138
1786.98/1792.34 c #Conflicts: 415000 | #Constraints: 21138
1786.98/1792.34 c #Conflicts: 416000 | #Constraints: 22138
1786.98/1792.34 c #Conflicts: 417000 | #Constraints: 23138
1786.98/1792.34 c #Conflicts: 418000 | #Constraints: 24138
1786.98/1792.34 c #Conflicts: 419000 | #Constraints: 25138
1786.98/1792.34 c #Conflicts: 420000 | #Constraints: 26138
1786.98/1792.34 c INPROCESSING
1786.98/1792.34 c GARBAGE COLLECT
1786.98/1792.34 c #Conflicts: 421000 | #Constraints: 14341
1786.98/1792.34 c #Conflicts: 422000 | #Constraints: 15341
1786.98/1792.34 c #Conflicts: 423000 | #Constraints: 16341
1786.98/1792.34 c #Conflicts: 424000 | #Constraints: 17341
1786.98/1792.34 c #Conflicts: 425000 | #Constraints: 18341
1786.98/1792.34 c #Conflicts: 426000 | #Constraints: 19341
1786.98/1792.34 c #Conflicts: 427000 | #Constraints: 20341
1786.98/1792.34 c #Conflicts: 428000 | #Constraints: 21341
1786.98/1792.34 c #Conflicts: 429000 | #Constraints: 22341
1786.98/1792.34 c #Conflicts: 430000 | #Constraints: 23341
1786.98/1792.34 c #Conflicts: 431000 | #Constraints: 24341
1786.98/1792.34 c #Conflicts: 432000 | #Constraints: 25341
1786.98/1792.34 c #Conflicts: 433000 | #Constraints: 26341
1786.98/1792.34 c INPROCESSING
1786.98/1792.34 c GARBAGE COLLECT
1786.98/1792.34 c #Conflicts: 434000 | #Constraints: 14338
1786.98/1792.34 c #Conflicts: 435000 | #Constraints: 15338
1786.98/1792.34 c #Conflicts: 436000 | #Constraints: 16338
1786.98/1792.34 c #Conflicts: 437000 | #Constraints: 17338
1786.98/1792.34 c #Conflicts: 438000 | #Constraints: 18338
1786.98/1792.34 c #Conflicts: 439000 | #Constraints: 19338
1786.98/1792.34 c #Conflicts: 440000 | #Constraints: 20338
1786.98/1792.34 c #Conflicts: 441000 | #Constraints: 21338
1786.98/1792.34 c #Conflicts: 442000 | #Constraints: 22338
1786.98/1792.34 c #Conflicts: 443000 | #Constraints: 23338
1786.98/1792.34 c #Conflicts: 444000 | #Constraints: 24338
1786.98/1792.34 c #Conflicts: 445000 | #Constraints: 25338
1786.98/1792.34 c #Conflicts: 446000 | #Constraints: 26338
1786.98/1792.34 c INPROCESSING
1786.98/1792.34 c GARBAGE COLLECT
1786.98/1792.34 c #Conflicts: 447000 | #Constraints: 14142
1786.98/1792.34 c #Conflicts: 448000 | #Constraints: 15142
1786.98/1792.34 c #Conflicts: 449000 | #Constraints: 16142
1786.98/1792.34 c #Conflicts: 450000 | #Constraints: 17142
1786.98/1792.34 c #Conflicts: 451000 | #Constraints: 18142
1786.98/1792.34 c #Conflicts: 452000 | #Constraints: 19142
1786.98/1792.34 c #Conflicts: 453000 | #Constraints: 20142
1786.98/1792.34 c #Conflicts: 454000 | #Constraints: 21142
1786.98/1792.34 c #Conflicts: 455000 | #Constraints: 22142
1786.98/1792.34 c #Conflicts: 456000 | #Constraints: 23142
1786.98/1792.34 c #Conflicts: 457000 | #Constraints: 24142
1786.98/1792.34 c #Conflicts: 458000 | #Constraints: 25142
1786.98/1792.34 c #Conflicts: 459000 | #Constraints: 26142
1786.98/1792.34 c #Conflicts: 460000 | #Constraints: 27142
1786.98/1792.34 c INPROCESSING
1786.98/1792.34 c GARBAGE COLLECT
1786.98/1792.34 c #Conflicts: 461000 | #Constraints: 14738
1786.98/1792.34 c #Conflicts: 462000 | #Constraints: 15738
1786.98/1792.34 c #Conflicts: 463000 | #Constraints: 16738
1786.98/1792.34 c #Conflicts: 464000 | #Constraints: 17738
1786.98/1792.34 c #Conflicts: 465000 | #Constraints: 18738
1786.98/1792.34 c #Conflicts: 466000 | #Constraints: 19738
1786.98/1792.34 c #Conflicts: 467000 | #Constraints: 20738
1786.98/1792.34 c #Conflicts: 468000 | #Constraints: 21738
1786.98/1792.34 c #Conflicts: 469000 | #Constraints: 22738
1786.98/1792.34 c #Conflicts: 470000 | #Constraints: 23738
1786.98/1792.34 c #Conflicts: 471000 | #Constraints: 24738
1786.98/1792.34 c #Conflicts: 472000 | #Constraints: 25738
1786.98/1792.34 c #Conflicts: 473000 | #Constraints: 26738
1786.98/1792.34 c #Conflicts: 474000 | #Constraints: 27738
1786.98/1792.34 c INPROCESSING
2188.52/2194.97 c GARBAGE COLLECT
2188.52/2194.97 c #Conflicts: 475000 | #Constraints: 15150
2188.52/2194.97 c #Conflicts: 476000 | #Constraints: 16150
2188.52/2194.97 c #Conflicts: 477000 | #Constraints: 17150
2188.52/2194.97 c #Conflicts: 478000 | #Constraints: 18150
2188.52/2194.97 c #Conflicts: 479000 | #Constraints: 19150
2188.52/2194.97 c #Conflicts: 480000 | #Constraints: 20150
2188.52/2194.97 c #Conflicts: 481000 | #Constraints: 21150
2188.52/2194.97 c #Conflicts: 482000 | #Constraints: 22150
2188.52/2194.97 c #Conflicts: 483000 | #Constraints: 23150
2188.52/2194.97 c #Conflicts: 484000 | #Constraints: 24150
2188.52/2194.97 c #Conflicts: 485000 | #Constraints: 25150
2188.52/2194.97 c #Conflicts: 486000 | #Constraints: 26150
2188.52/2194.97 c #Conflicts: 487000 | #Constraints: 27150
2188.52/2194.97 c #Conflicts: 488000 | #Constraints: 28150
2188.52/2194.97 c INPROCESSING
2188.52/2194.97 c GARBAGE COLLECT
2188.52/2194.97 c #Conflicts: 489000 | #Constraints: 15347
2188.52/2194.97 c #Conflicts: 490000 | #Constraints: 16347
2188.52/2194.97 c #Conflicts: 491000 | #Constraints: 17347
2188.52/2194.97 c #Conflicts: 492000 | #Constraints: 18347
2188.52/2194.97 c #Conflicts: 493000 | #Constraints: 19347
2188.52/2194.97 c #Conflicts: 494000 | #Constraints: 20347
2188.52/2194.97 c #Conflicts: 495000 | #Constraints: 21347
2188.52/2194.97 c #Conflicts: 496000 | #Constraints: 22347
2188.52/2194.97 c #Conflicts: 497000 | #Constraints: 23347
2188.52/2194.97 c #Conflicts: 498000 | #Constraints: 24347
2188.52/2194.97 c #Conflicts: 499000 | #Constraints: 25347
2188.52/2194.97 c #Conflicts: 500000 | #Constraints: 26347
2188.52/2194.97 c #Conflicts: 501000 | #Constraints: 27347
2188.52/2194.97 c #Conflicts: 502000 | #Constraints: 28347
2188.52/2194.97 c INPROCESSING
2188.52/2194.97 c GARBAGE COLLECT
2188.52/2194.97 c #Conflicts: 503000 | #Constraints: 15342
2188.52/2194.97 c #Conflicts: 504000 | #Constraints: 16342
2188.52/2194.97 c #Conflicts: 505000 | #Constraints: 17342
2188.52/2194.97 c #Conflicts: 506000 | #Constraints: 18342
2188.52/2194.97 c #Conflicts: 507000 | #Constraints: 19342
2188.52/2194.97 c #Conflicts: 508000 | #Constraints: 20342
2188.52/2194.97 c #Conflicts: 509000 | #Constraints: 21342
2188.52/2194.97 c #Conflicts: 510000 | #Constraints: 22342
2188.52/2194.97 c #Conflicts: 511000 | #Constraints: 23342
2188.52/2194.97 c #Conflicts: 512000 | #Constraints: 24342
2188.52/2194.97 c #Conflicts: 513000 | #Constraints: 25342
2188.52/2194.97 c #Conflicts: 514000 | #Constraints: 26342
2188.52/2194.97 c #Conflicts: 515000 | #Constraints: 27342
2188.52/2194.97 c #Conflicts: 516000 | #Constraints: 28342
2188.52/2194.97 c INPROCESSING
2188.52/2194.97 c GARBAGE COLLECT
2188.52/2194.97 c #Conflicts: 517000 | #Constraints: 15144
2188.52/2194.97 c #Conflicts: 518000 | #Constraints: 16144
2188.52/2194.97 c #Conflicts: 519000 | #Constraints: 17144
2188.52/2194.97 c #Conflicts: 520000 | #Constraints: 18144
2188.52/2194.97 c #Conflicts: 521000 | #Constraints: 19144
2188.52/2194.97 c #Conflicts: 522000 | #Constraints: 20144
2188.52/2194.97 c #Conflicts: 523000 | #Constraints: 21144
2188.52/2194.97 c #Conflicts: 524000 | #Constraints: 22144
2188.52/2194.97 c #Conflicts: 525000 | #Constraints: 23144
2188.52/2194.97 c #Conflicts: 526000 | #Constraints: 24144
2188.52/2194.97 c #Conflicts: 527000 | #Constraints: 25144
2188.52/2194.97 c #Conflicts: 528000 | #Constraints: 26144
2188.52/2194.97 c #Conflicts: 529000 | #Constraints: 27144
2188.52/2194.97 c #Conflicts: 530000 | #Constraints: 28144
2188.52/2194.97 c #Conflicts: 531000 | #Constraints: 29144
2188.52/2194.97 c INPROCESSING
2188.52/2194.97 c GARBAGE COLLECT
2188.52/2194.97 c #Conflicts: 532000 | #Constraints: 15743
2188.52/2194.97 c #Conflicts: 533000 | #Constraints: 16743
2188.52/2194.97 c #Conflicts: 534000 | #Constraints: 17743
2188.52/2194.97 c #Conflicts: 535000 | #Constraints: 18743
2188.52/2194.97 c #Conflicts: 536000 | #Constraints: 19743
2188.52/2194.97 c #Conflicts: 537000 | #Constraints: 20743
2188.52/2194.97 c #Conflicts: 538000 | #Constraints: 21743
2188.52/2194.97 c #Conflicts: 539000 | #Constraints: 22743
2188.52/2194.97 c #Conflicts: 540000 | #Constraints: 23743
2188.52/2194.97 c #Conflicts: 541000 | #Constraints: 24743
2188.52/2194.97 c #Conflicts: 542000 | #Constraints: 25743
2188.52/2194.97 c #Conflicts: 543000 | #Constraints: 26743
2188.52/2194.97 c #Conflicts: 544000 | #Constraints: 27743
2188.52/2194.97 c #Conflicts: 545000 | #Constraints: 28743
2188.52/2194.97 c #Conflicts: 546000 | #Constraints: 29743
2188.52/2194.97 c INPROCESSING
2188.52/2194.97 c GARBAGE COLLECT
2188.52/2194.97 c #Conflicts: 547000 | #Constraints: 16142
2188.52/2194.97 c #Conflicts: 548000 | #Constraints: 17142
2188.52/2194.97 c #Conflicts: 549000 | #Constraints: 18142
2188.52/2194.97 c #Conflicts: 550000 | #Constraints: 19142
2612.61/2620.15 c #Conflicts: 551000 | #Constraints: 20142
2612.61/2620.15 c #Conflicts: 552000 | #Constraints: 21142
2612.61/2620.15 c #Conflicts: 553000 | #Constraints: 22142
2612.61/2620.15 c #Conflicts: 554000 | #Constraints: 23142
2612.61/2620.15 c #Conflicts: 555000 | #Constraints: 24142
2612.61/2620.15 c #Conflicts: 556000 | #Constraints: 25142
2612.61/2620.15 c #Conflicts: 557000 | #Constraints: 26142
2612.61/2620.15 c #Conflicts: 558000 | #Constraints: 27142
2612.61/2620.15 c #Conflicts: 559000 | #Constraints: 28142
2612.61/2620.15 c #Conflicts: 560000 | #Constraints: 29142
2612.61/2620.15 c #Conflicts: 561000 | #Constraints: 30142
2612.61/2620.15 c INPROCESSING
2612.61/2620.15 c GARBAGE COLLECT
2612.61/2620.15 c #Conflicts: 562000 | #Constraints: 16344
2612.61/2620.15 c #Conflicts: 563000 | #Constraints: 17344
2612.61/2620.15 c #Conflicts: 564000 | #Constraints: 18344
2612.61/2620.15 c #Conflicts: 565000 | #Constraints: 19344
2612.61/2620.15 c #Conflicts: 566000 | #Constraints: 20344
2612.61/2620.15 c #Conflicts: 567000 | #Constraints: 21344
2612.61/2620.15 c #Conflicts: 568000 | #Constraints: 22344
2612.61/2620.15 c #Conflicts: 569000 | #Constraints: 23344
2612.61/2620.15 c #Conflicts: 570000 | #Constraints: 24344
2612.61/2620.15 c #Conflicts: 571000 | #Constraints: 25344
2612.61/2620.15 c #Conflicts: 572000 | #Constraints: 26344
2612.61/2620.15 c #Conflicts: 573000 | #Constraints: 27344
2612.61/2620.15 c #Conflicts: 574000 | #Constraints: 28344
2612.61/2620.15 c #Conflicts: 575000 | #Constraints: 29344
2612.61/2620.15 c #Conflicts: 576000 | #Constraints: 30344
2612.61/2620.15 c INPROCESSING
2612.61/2620.15 c GARBAGE COLLECT
2612.61/2620.15 c #Conflicts: 577000 | #Constraints: 16342
2612.61/2620.15 c #Conflicts: 578000 | #Constraints: 17342
2612.61/2620.15 c #Conflicts: 579000 | #Constraints: 18342
2612.61/2620.15 c #Conflicts: 580000 | #Constraints: 19342
2612.61/2620.15 c #Conflicts: 581000 | #Constraints: 20342
2612.61/2620.15 c #Conflicts: 582000 | #Constraints: 21342
2612.61/2620.15 c #Conflicts: 583000 | #Constraints: 22342
2612.61/2620.15 c #Conflicts: 584000 | #Constraints: 23342
2612.61/2620.15 c #Conflicts: 585000 | #Constraints: 24342
2612.61/2620.15 c #Conflicts: 586000 | #Constraints: 25342
2612.61/2620.15 c #Conflicts: 587000 | #Constraints: 26342
2612.61/2620.15 c #Conflicts: 588000 | #Constraints: 27342
2612.61/2620.15 c #Conflicts: 589000 | #Constraints: 28342
2612.61/2620.15 c #Conflicts: 590000 | #Constraints: 29342
2612.61/2620.15 c #Conflicts: 591000 | #Constraints: 30342
2612.61/2620.15 c INPROCESSING
2612.61/2620.15 c GARBAGE COLLECT
2612.61/2620.15 c #Conflicts: 592000 | #Constraints: 16141
2612.61/2620.15 c #Conflicts: 593000 | #Constraints: 17141
2612.61/2620.15 c #Conflicts: 594000 | #Constraints: 18141
2612.61/2620.15 c #Conflicts: 595000 | #Constraints: 19141
2612.61/2620.15 c #Conflicts: 596000 | #Constraints: 20141
2612.61/2620.15 c #Conflicts: 597000 | #Constraints: 21141
2612.61/2620.15 c #Conflicts: 598000 | #Constraints: 22141
2612.61/2620.15 c #Conflicts: 599000 | #Constraints: 23141
2612.61/2620.15 c #Conflicts: 600000 | #Constraints: 24141
2612.61/2620.15 c #Conflicts: 601000 | #Constraints: 25141
2612.61/2620.15 c #Conflicts: 602000 | #Constraints: 26141
2612.61/2620.15 c #Conflicts: 603000 | #Constraints: 27141
2612.61/2620.15 c #Conflicts: 604000 | #Constraints: 28141
2612.61/2620.15 c #Conflicts: 605000 | #Constraints: 29141
2612.61/2620.15 c #Conflicts: 606000 | #Constraints: 30141
2612.61/2620.15 c #Conflicts: 607000 | #Constraints: 31141
2612.61/2620.15 c INPROCESSING
2612.61/2620.15 c GARBAGE COLLECT
2612.61/2620.15 c #Conflicts: 608000 | #Constraints: 16743
2612.61/2620.15 c #Conflicts: 609000 | #Constraints: 17743
2612.61/2620.15 c #Conflicts: 610000 | #Constraints: 18743
2612.61/2620.15 c #Conflicts: 611000 | #Constraints: 19743
2612.61/2620.15 c #Conflicts: 612000 | #Constraints: 20743
2612.61/2620.15 c #Conflicts: 613000 | #Constraints: 21743
2612.61/2620.15 c #Conflicts: 614000 | #Constraints: 22743
2612.61/2620.15 c #Conflicts: 615000 | #Constraints: 23743
2612.61/2620.15 c #Conflicts: 616000 | #Constraints: 24743
2612.61/2620.15 c #Conflicts: 617000 | #Constraints: 25743
2612.61/2620.15 c #Conflicts: 618000 | #Constraints: 26743
2612.61/2620.15 c #Conflicts: 619000 | #Constraints: 27743
2612.61/2620.15 c #Conflicts: 620000 | #Constraints: 28743
2612.61/2620.15 c #Conflicts: 621000 | #Constraints: 29743
2612.61/2620.15 c #Conflicts: 622000 | #Constraints: 30743
2612.61/2620.15 c #Conflicts: 623000 | #Constraints: 31743
2612.61/2620.15 c INPROCESSING
2612.61/2620.15 c GARBAGE COLLECT
2612.61/2620.15 c #Conflicts: 624000 | #Constraints: 17144
2612.61/2620.15 c #Conflicts: 625000 | #Constraints: 18144
3208.05/3217.22 c #Conflicts: 626000 | #Constraints: 19144
3208.05/3217.22 c #Conflicts: 627000 | #Constraints: 20144
3208.05/3217.22 c #Conflicts: 628000 | #Constraints: 21144
3208.05/3217.22 c #Conflicts: 629000 | #Constraints: 22144
3208.05/3217.22 c #Conflicts: 630000 | #Constraints: 23144
3208.05/3217.22 c #Conflicts: 631000 | #Constraints: 24144
3208.05/3217.22 c #Conflicts: 632000 | #Constraints: 25144
3208.05/3217.22 c #Conflicts: 633000 | #Constraints: 26144
3208.05/3217.22 c #Conflicts: 634000 | #Constraints: 27144
3208.05/3217.22 c #Conflicts: 635000 | #Constraints: 28144
3208.05/3217.22 c #Conflicts: 636000 | #Constraints: 29144
3208.05/3217.22 c #Conflicts: 637000 | #Constraints: 30144
3208.05/3217.22 c #Conflicts: 638000 | #Constraints: 31144
3208.05/3217.22 c #Conflicts: 639000 | #Constraints: 32144
3208.05/3217.22 c INPROCESSING
3208.05/3217.22 c GARBAGE COLLECT
3208.05/3217.22 c #Conflicts: 640000 | #Constraints: 17345
3208.05/3217.22 c #Conflicts: 641000 | #Constraints: 18345
3208.05/3217.22 c #Conflicts: 642000 | #Constraints: 19345
3208.05/3217.22 c #Conflicts: 643000 | #Constraints: 20345
3208.05/3217.22 c #Conflicts: 644000 | #Constraints: 21345
3208.05/3217.22 c #Conflicts: 645000 | #Constraints: 22345
3208.05/3217.22 c #Conflicts: 646000 | #Constraints: 23345
3208.05/3217.22 c #Conflicts: 647000 | #Constraints: 24345
3208.05/3217.22 c #Conflicts: 648000 | #Constraints: 25345
3208.05/3217.22 c #Conflicts: 649000 | #Constraints: 26345
3208.05/3217.22 c #Conflicts: 650000 | #Constraints: 27345
3208.05/3217.22 c #Conflicts: 651000 | #Constraints: 28345
3208.05/3217.22 c #Conflicts: 652000 | #Constraints: 29345
3208.05/3217.22 c #Conflicts: 653000 | #Constraints: 30345
3208.05/3217.22 c #Conflicts: 654000 | #Constraints: 31345
3208.05/3217.22 c #Conflicts: 655000 | #Constraints: 32345
3208.05/3217.22 c INPROCESSING
3208.05/3217.22 c GARBAGE COLLECT
3208.05/3217.22 c #Conflicts: 656000 | #Constraints: 17347
3208.05/3217.22 c #Conflicts: 657000 | #Constraints: 18347
3208.05/3217.22 c #Conflicts: 658000 | #Constraints: 19347
3208.05/3217.22 c #Conflicts: 659000 | #Constraints: 20347
3208.05/3217.22 c #Conflicts: 660000 | #Constraints: 21347
3208.05/3217.22 c #Conflicts: 661000 | #Constraints: 22347
3208.05/3217.22 c #Conflicts: 662000 | #Constraints: 23347
3208.05/3217.22 c #Conflicts: 663000 | #Constraints: 24347
3208.05/3217.22 c #Conflicts: 664000 | #Constraints: 25347
3208.05/3217.22 c #Conflicts: 665000 | #Constraints: 26347
3208.05/3217.22 c #Conflicts: 666000 | #Constraints: 27347
3208.05/3217.22 c #Conflicts: 667000 | #Constraints: 28347
3208.05/3217.22 c #Conflicts: 668000 | #Constraints: 29347
3208.05/3217.22 c #Conflicts: 669000 | #Constraints: 30347
3208.05/3217.22 c #Conflicts: 670000 | #Constraints: 31347
3208.05/3217.22 c #Conflicts: 671000 | #Constraints: 32347
3208.05/3217.22 c INPROCESSING
3208.05/3217.22 c GARBAGE COLLECT
3208.05/3217.22 c #Conflicts: 672000 | #Constraints: 17144
3208.05/3217.22 c #Conflicts: 673000 | #Constraints: 18144
3208.05/3217.22 c #Conflicts: 674000 | #Constraints: 19144
3208.05/3217.22 c #Conflicts: 675000 | #Constraints: 20144
3208.05/3217.22 c #Conflicts: 676000 | #Constraints: 21144
3208.05/3217.22 c #Conflicts: 677000 | #Constraints: 22144
3208.05/3217.22 c #Conflicts: 678000 | #Constraints: 23144
3208.05/3217.22 c #Conflicts: 679000 | #Constraints: 24144
3208.05/3217.22 c #Conflicts: 680000 | #Constraints: 25144
3208.05/3217.22 c #Conflicts: 681000 | #Constraints: 26144
3208.05/3217.22 c #Conflicts: 682000 | #Constraints: 27144
3208.05/3217.22 c #Conflicts: 683000 | #Constraints: 28144
3208.05/3217.22 c #Conflicts: 684000 | #Constraints: 29144
3208.05/3217.22 c #Conflicts: 685000 | #Constraints: 30144
3208.05/3217.22 c #Conflicts: 686000 | #Constraints: 31144
3208.05/3217.22 c #Conflicts: 687000 | #Constraints: 32144
3208.05/3217.22 c #Conflicts: 688000 | #Constraints: 33144
3208.05/3217.22 c INPROCESSING
3208.05/3217.22 c GARBAGE COLLECT
3208.05/3217.22 c #Conflicts: 689000 | #Constraints: 17741
3208.05/3217.22 c #Conflicts: 690000 | #Constraints: 18741
3208.05/3217.22 c #Conflicts: 691000 | #Constraints: 19741
3208.05/3217.22 c #Conflicts: 692000 | #Constraints: 20741
3208.05/3217.22 c #Conflicts: 693000 | #Constraints: 21741
3208.05/3217.22 c #Conflicts: 694000 | #Constraints: 22741
3208.05/3217.22 c #Conflicts: 695000 | #Constraints: 23741
3208.05/3217.22 c #Conflicts: 696000 | #Constraints: 24741
3208.05/3217.22 c #Conflicts: 697000 | #Constraints: 25741
3208.05/3217.22 c #Conflicts: 698000 | #Constraints: 26741
3208.05/3217.22 c #Conflicts: 699000 | #Constraints: 27741
3208.05/3217.22 c #Conflicts: 700000 | #Constraints: 28741
3208.05/3217.22 c #Conflicts: 701000 | #Constraints: 29741
3600.08/3610.30 c #Conflicts: 702000 | #Constraints: 30741
3600.08/3610.30 c #Conflicts: 703000 | #Constraints: 31741
3600.08/3610.30 c #Conflicts: 704000 | #Constraints: 32741
3600.08/3610.30 c #Conflicts: 705000 | #Constraints: 33741
3600.08/3610.30 c INPROCESSING
3600.08/3610.30 c GARBAGE COLLECT
3600.08/3610.30 c #Conflicts: 706000 | #Constraints: 18141
3600.08/3610.30 c #Conflicts: 707000 | #Constraints: 19141
3600.08/3610.30 c #Conflicts: 708000 | #Constraints: 20141
3600.08/3610.30 c #Conflicts: 709000 | #Constraints: 21141
3600.08/3610.30 c #Conflicts: 710000 | #Constraints: 22141
3600.08/3610.30 c #Conflicts: 711000 | #Constraints: 23141
3600.08/3610.30 c #Conflicts: 712000 | #Constraints: 24141
3600.08/3610.30 c #Conflicts: 713000 | #Constraints: 25141
3600.08/3610.30 c #Conflicts: 714000 | #Constraints: 26141
3600.08/3610.30 c #Conflicts: 715000 | #Constraints: 27141
3600.08/3610.30 c #Conflicts: 716000 | #Constraints: 28141
3600.08/3610.30 c #Conflicts: 717000 | #Constraints: 29141
3600.08/3610.30 c #Conflicts: 718000 | #Constraints: 30141
3600.08/3610.30 c #Conflicts: 719000 | #Constraints: 31141
3600.08/3610.30 c #Conflicts: 720000 | #Constraints: 32141
3600.08/3610.30 c #Conflicts: 721000 | #Constraints: 33141
3600.08/3610.30 c #Conflicts: 722000 | #Constraints: 34141
3600.08/3610.30 c INPROCESSING
3600.08/3610.30 c GARBAGE COLLECT
3600.08/3610.30 c #Conflicts: 723000 | #Constraints: 18341
3600.08/3610.30 c #Conflicts: 724000 | #Constraints: 19341
3600.08/3610.30 c #Conflicts: 725000 | #Constraints: 20341
3600.08/3610.30 c #Conflicts: 726000 | #Constraints: 21341
3600.08/3610.30 c #Conflicts: 727000 | #Constraints: 22341
3600.08/3610.30 c #Conflicts: 728000 | #Constraints: 23341
3600.08/3610.30 c #Conflicts: 729000 | #Constraints: 24341
3600.08/3610.30 c #Conflicts: 730000 | #Constraints: 25341
3600.08/3610.30 c #Conflicts: 731000 | #Constraints: 26341
3600.08/3610.30 c #Conflicts: 732000 | #Constraints: 27341
3600.08/3610.30 c #Conflicts: 733000 | #Constraints: 28341
3600.08/3610.30 c #Conflicts: 734000 | #Constraints: 29341
3600.08/3610.30 c #Conflicts: 735000 | #Constraints: 30341
3600.08/3610.30 c #Conflicts: 736000 | #Constraints: 31341
3600.08/3610.30 c #Conflicts: 737000 | #Constraints: 32341
3600.08/3610.30 c #Conflicts: 738000 | #Constraints: 33341
3600.08/3610.30 c #Conflicts: 739000 | #Constraints: 34341
3600.08/3610.30 c INPROCESSING
3600.08/3610.30 c GARBAGE COLLECT
3600.08/3610.30 c #Conflicts: 740000 | #Constraints: 18348
3600.08/3610.30 c #Conflicts: 741000 | #Constraints: 19348
3600.08/3610.30 c #Conflicts: 742000 | #Constraints: 20348
3600.08/3610.30 c #Conflicts: 743000 | #Constraints: 21348
3600.08/3610.30 c #Conflicts: 744000 | #Constraints: 22348
3600.08/3610.30 c #Conflicts: 745000 | #Constraints: 23348
3600.08/3610.30 c #Conflicts: 746000 | #Constraints: 24348
3600.08/3610.30 c #Conflicts: 747000 | #Constraints: 25348
3600.08/3610.30 c Program interrupted by user.
3600.08/3610.30 c cpu time 3591.12 s
3600.08/3610.30 c deterministic time 416086136440 4.16e+11
3600.08/3610.30 c optimization time 59.9324 s
3600.08/3610.30 c total solve time 3231.96 s
3600.08/3610.30 c core-guided solve time 3231.96 s
3600.08/3610.30 c propagation time 2973.5 s
3600.08/3610.30 c conflict analysis time 274.936 s
3600.08/3610.30 c propagations 57112204
3600.08/3610.30 c resolve steps 3638534
3600.08/3610.30 c decisions 5907874
3600.08/3610.30 c conflicts 747507
3600.08/3610.30 c restarts 1561
3600.08/3610.30 c inprocessing phases 77
3600.08/3610.30 c input clauses 50
3600.08/3610.30 c input cardinalities 77
3600.08/3610.30 c input general constraints 471
3600.08/3610.30 c input average constraint length 68.27
3600.08/3610.30 c input average constraint degree 34.26
3600.08/3610.30 c learned clauses 106792
3600.08/3610.30 c learned cardinalities 536
3600.08/3610.30 c learned general constraints 640193
3600.08/3610.30 c learned average constraint length 330.77
3600.08/3610.30 c learned average constraint degree 369168.47
3600.08/3610.30 c watched constraints 559866
3600.08/3610.30 c counting constraints 80798
3600.08/3610.30 c gcd simplifications 83438
3600.08/3610.30 c detected cardinalities 433
3600.08/3610.30 c weakened non-implied lits 15835390
3600.08/3610.30 c weakened non-implying lits 50960
3600.08/3610.30 c original variables 473
3600.08/3610.30 c clausal propagations 1053652
3600.08/3610.30 c cardinality propagations 109631
3600.08/3610.30 c watched propagations 35044134
3600.08/3610.30 c counting propagations 20347592
3600.08/3610.30 c watch lookups 54143306328
3600.08/3610.30 c watch backjump lookups 50548740287
3600.08/3610.30 c watch checks 304121159879
3600.08/3610.30 c propagation checks 6382129459
3600.08/3610.30 c constraint additions 764013132
3600.08/3610.30 c trail pops 63767276
3600.08/3610.30 c formula constraints 472
3600.08/3610.30 c learned constraints 747521
3600.08/3610.30 c bound constraints 77
3600.08/3610.30 c core-guided constraints 49
3600.08/3610.30 c encountered formula constraints 2271588
3600.08/3610.30 c encountered learned constraints 2049755
3600.08/3610.30 c encountered bound constraints 175
3600.08/3610.30 c encountered core-guided constraints 64523
3600.08/3610.30 c LP total time 0 s
3600.08/3610.30 c LP solve time 0 s
3600.08/3610.30 c LP constraints added 0
3600.08/3610.30 c LP constraints removed 0
3600.08/3610.30 c LP pivots internal 0
3600.08/3610.30 c LP pivots root 0
3600.08/3610.30 c LP calls 0
3600.08/3610.30 c LP optimalities 0
3600.08/3610.30 c LP no pivot count 0
3600.08/3610.30 c LP infeasibilities 0
3600.08/3610.30 c LP valid Farkas constraints 0
3600.08/3610.30 c LP learned Farkas constraints 0
3600.08/3610.30 c LP basis resets 0
3600.08/3610.30 c LP cycling count 0
3600.08/3610.30 c LP singular count 0
3600.08/3610.30 c LP no primal count 0
3600.08/3610.30 c LP no farkas count 0
3600.08/3610.30 c LP other issue count 0
3600.08/3610.30 c LP Gomory cuts 0
3600.08/3610.30 c LP learned cuts 0
3600.08/3610.30 c LP deleted cuts 0
3600.08/3610.30 c LP encountered Gomory constraints 0
3600.08/3610.30 c LP encountered Farkas constraints 0
3600.08/3610.30 c LP encountered learned Farkas constraints 0
3600.08/3610.30 c CG auxiliary variables introduced 49
3600.08/3610.30 c CG solutions found 0
3600.08/3610.30 c CG cores constructed 76
3600.08/3610.30 c CG core cardinality constraints returned 0
3600.08/3610.30 c CG unit cores 0
3600.08/3610.30 c CG single cores 76
3600.08/3610.30 c CG blocks removed during cardinality reduction 0
3600.08/3610.30 c CG first core best 0
3600.08/3610.30 c CG decision core best 0
3600.08/3610.30 c CG core reduction tie 0
3600.08/3610.30 c CG core degree average 1.00
3600.08/3610.30 c CG core slack average 2.93
3600.08/3610.30 c CG exhausted 0
3600.08/3610.30 c CG exhaust time 0 s
3600.08/3610.30 c CG trimmed 4
3600.08/3610.30 c CG trim time 0.00046 s
3600.08/3610.30 c CG minimized 0
3600.08/3610.30 c CG minimize time 0 s
3600.08/3610.30 c CG am1 prop time 0.000718 s
3600.08/3610.30 c CG # am1s reformulated 49
3600.08/3610.30 c CG lower bound derived from am1s 49
3600.08/3610.30 c CG # clausal cores 19
3600.08/3610.30 c CG # cardinality cores 0
3600.08/3610.30 c CG # pb cores 57
3600.08/3610.30 c CG # pb reforms 0
3600.08/3610.30 c CG # cores discarded because of pb reform 0
3600.08/3610.30 d LOWERBOUND 125
3600.08/3610.30 d NCORES 76
3600.08/3610.30 d NPBCORES 57
3600.08/3610.30 d NPBREFORM 0
3600.08/3610.30 d NTRIMMED 4
3600.08/3610.30 d NEXHAUSTED 0
3600.08/3610.30 d NAM1S 49
3600.08/3610.30 d AM1LB 49
3600.08/3610.30 c [Papilo Statistics]
3600.08/3610.30 c prepro time 0.0042626s
3600.08/3610.30 c # tsx applied 16
3600.08/3610.30 c # tsx conflicts 0
3600.08/3610.30 c # bound changes 0
3600.08/3610.30 c # side changes 0
3600.08/3610.30 c # coef changes 31
3600.08/3610.30 c # rounds 3
3600.08/3610.30 c # deted vars 0
3600.08/3610.30 c # deted constrs 0
3600.08/3610.30 c # consecutive rounds of only bound changes 0
3600.08/3610.30 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: 63837 MiB (62856 MiB free)
memory of node 1: 64465 MiB (59109 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528916-1752256448/watcher-4528916-1752256448 -o /tmp/evaluation-result-4528916-1752256448/solver-4528916-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752256448-122973 --watchdog 3760 mixed-bag HOME/instance-4528916-1752256448.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=123030, runsolver pid=123015
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100083 s]*
/proc/loadavg: 0.90 1.23 2.20 7/252 123031
/proc/meminfo: memFree=124864100/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=98092 memory=25344 CPUtime=0.09 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 2764 0 0 0 8 1 0 0 20 0 1 0 141323990 100446208 6336 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 24523 6336 4096 2834 0 6728 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98092 KiB
Current children cumulated memory: 25344 KiB
[startup+0.212854 s]*
/proc/loadavg: 0.90 1.23 2.20 7/252 123031
/proc/meminfo: memFree=124858808/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=99384 memory=27136 CPUtime=0.2 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 3108 0 0 0 19 1 0 0 20 0 1 0 141323990 101769216 6784 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 24846 6784 4224 2834 0 7051 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99384 KiB
Current children cumulated memory: 27136 KiB
[startup+0.312773 s]*
/proc/loadavg: 0.90 1.23 2.20 7/252 123031
/proc/meminfo: memFree=124855028/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=99400 memory=27264 CPUtime=0.3 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 3142 0 0 0 29 1 0 0 20 0 1 0 141323990 101785600 6816 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 24850 6816 4224 2834 0 7055 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 99400 KiB
Current children cumulated memory: 27264 KiB
[startup+0.70025 s]
/proc/loadavg: 0.90 1.23 2.20 7/252 123031
/proc/meminfo: memFree=124855028/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=99516 memory=27392 CPUtime=0.67 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 3196 0 0 0 66 1 0 0 20 0 1 0 141323990 101904384 6848 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 24879 6848 4224 2834 0 7084 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99516 KiB
Current children cumulated memory: 27392 KiB
[startup+1.50025 s]
/proc/loadavg: 0.90 1.23 2.20 7/252 123031
/proc/meminfo: memFree=124849392/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=108360 memory=35968 CPUtime=1.47 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 5301 0 0 0 145 2 0 0 20 0 1 0 141323990 110960640 8960 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 27090 8960 4256 2834 0 9295 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 108360 KiB
Current children cumulated memory: 35968 KiB
[startup+3.11219 s]
/proc/loadavg: 1.23 1.30 2.21 7/252 123031
/proc/meminfo: memFree=124427632/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=232416 memory=156788 CPUtime=3.08 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 36614 0 0 0 300 8 0 0 20 0 1 0 141323990 237993984 39197 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 58104 39197 4256 2834 0 40309 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 232416 KiB
Current children cumulated memory: 156788 KiB
[startup+6.30024 s]
/proc/loadavg: 1.23 1.30 2.21 7/252 123031
/proc/meminfo: memFree=124387640/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=236612 memory=160500 CPUtime=6.26 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 37514 0 0 0 618 8 0 0 20 0 1 0 141323990 242290688 40125 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 59153 40125 4256 2834 0 41358 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 236612 KiB
Current children cumulated memory: 160500 KiB
[startup+12.7003 s]
/proc/loadavg: 1.45 1.34 2.22 7/252 123031
/proc/meminfo: memFree=124323160/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=236612 memory=160500 CPUtime=12.64 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 37514 0 0 0 1256 8 0 0 20 0 1 0 141323990 242290688 40125 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 59153 40125 4256 2834 0 41358 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 236612 KiB
Current children cumulated memory: 160500 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 1.47 2.25 7/252 123031
/proc/meminfo: memFree=124189992/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=265632 memory=189492 CPUtime=25.4 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 45833 0 0 0 2531 9 0 0 20 0 1 0 141323990 272007168 47373 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 66408 47373 4256 2834 0 48613 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 265632 KiB
Current children cumulated memory: 189492 KiB
[startup+51.1121 s]
/proc/loadavg: 2.77 1.69 2.31 7/252 123032
/proc/meminfo: memFree=124109012/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=272788 memory=196916 CPUtime=50.94 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 47676 0 0 0 5085 9 0 0 20 0 1 0 141323990 279334912 49229 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 68197 49229 4256 2834 0 50402 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 272788 KiB
Current children cumulated memory: 196916 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.07 2.40 7/252 123034
/proc/meminfo: memFree=123883000/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=334908 memory=258876 CPUtime=101.99 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 64585 0 0 0 10187 12 0 0 20 0 1 0 141323990 342945792 64719 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 83727 64719 4256 2834 0 65932 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 334908 KiB
Current children cumulated memory: 258876 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 2.42 2.51 7/252 123036
/proc/meminfo: memFree=123814548/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=334908 memory=259004 CPUtime=161.83 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 64604 0 0 0 16171 12 0 0 20 0 1 0 141323990 342945792 64751 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 83727 64751 4256 2834 0 65932 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 334908 KiB
Current children cumulated memory: 259004 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.76 2.62 7/252 123038
/proc/meminfo: memFree=123793812/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=334908 memory=259004 CPUtime=221.66 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 64605 0 0 0 22154 12 0 0 20 0 1 0 141323990 342945792 64751 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 83727 64751 4256 2834 0 65932 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 334908 KiB
Current children cumulated memory: 259004 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.00 2.71 7/252 123040
/proc/meminfo: memFree=123759844/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=337080 memory=261180 CPUtime=281.48 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 65158 0 0 0 28135 13 0 0 20 0 1 0 141323990 345169920 65295 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 84270 65295 4256 2834 0 66475 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 337080 KiB
Current children cumulated memory: 261180 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.20 2.80 7/251 123042
/proc/meminfo: memFree=123980800/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=339828 memory=264368 CPUtime=341.27 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 67827 0 0 0 34061 66 0 0 20 0 1 0 141323990 347983872 66092 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 84957 66092 4416 2834 0 67162 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 339828 KiB
Current children cumulated memory: 264368 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.36 2.88 7/251 123047
/proc/meminfo: memFree=123921672/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=339828 memory=270528 CPUtime=401.05 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 67837 0 0 0 39992 113 0 0 20 0 1 0 141323990 347983872 67632 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 84957 67632 4416 2834 0 67162 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 339828 KiB
Current children cumulated memory: 270528 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.50 2.96 7/250 123060
/proc/meminfo: memFree=123904092/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=358796 memory=275144 CPUtime=460.84 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 68485 0 0 0 45935 149 0 0 20 0 1 0 141323990 367407104 68786 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 89699 68786 4416 2834 0 71904 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
Current children cumulated memory: 330480 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.04 7/251 123180
/proc/meminfo: memFree=123545056/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=330480 CPUtime=2913.99 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70266 0 0 0 290643 756 0 0 20 0 1 0 141323990 450256896 82620 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 82620 4416 2834 0 92131 0
Current children cumulated CPU time: 2913.99 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 330480 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.04 7/250 123182
/proc/meminfo: memFree=123531348/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=330480 CPUtime=2973.81 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70267 0 0 0 296614 767 0 0 20 0 1 0 141323990 450256896 82620 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 82620 4416 2834 0 92131 0
Current children cumulated CPU time: 2973.81 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 330480 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.04 7/251 123185
/proc/meminfo: memFree=123530956/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=330480 CPUtime=3033.65 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70267 0 0 0 302579 786 0 0 20 0 1 0 141323990 450256896 82620 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 82620 4416 2834 0 92131 0
Current children cumulated CPU time: 3033.65 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 330480 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.04 7/251 123187
/proc/meminfo: memFree=123530572/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=330480 CPUtime=3093.48 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70267 0 0 0 308549 799 0 0 20 0 1 0 141323990 450256896 82620 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 82620 4416 2834 0 92131 0
Current children cumulated CPU time: 3093.48 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 330480 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.05 7/251 123188
/proc/meminfo: memFree=123526832/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=332836 CPUtime=3153.31 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70317 0 0 0 314517 814 0 0 20 0 1 0 141323990 450256896 83209 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 83209 4416 2834 0 92131 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 332836 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.04 7/250 123190
/proc/meminfo: memFree=123524704/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=332836 CPUtime=3213.12 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70317 0 0 0 320489 823 0 0 20 0 1 0 141323990 450256896 83209 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 83209 4416 2834 0 92131 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 332836 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.05 7/250 123192
/proc/meminfo: memFree=123525736/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=336932 CPUtime=3272.96 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70320 0 0 0 326459 837 0 0 20 0 1 0 141323990 450256896 84233 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 84233 4416 2834 0 92131 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 336932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.05 7/250 123194
/proc/meminfo: memFree=123525916/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=336932 CPUtime=3332.79 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70320 0 0 0 332431 848 0 0 20 0 1 0 141323990 450256896 84233 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 84233 4416 2834 0 92131 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 336932 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.05 7/251 123200
/proc/meminfo: memFree=123525488/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=336932 CPUtime=3392.64 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70321 0 0 0 338404 860 0 0 20 0 1 0 141323990 450256896 84233 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 84233 4416 2834 0 92131 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 336932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.05 7/251 123202
/proc/meminfo: memFree=123521696/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=336932 CPUtime=3452.47 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70321 0 0 0 344377 870 0 0 20 0 1 0 141323990 450256896 84233 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 84233 4416 2834 0 92131 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 336932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.05 7/251 123208
/proc/meminfo: memFree=123520964/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=336932 CPUtime=3512.32 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70321 0 0 0 350352 880 0 0 20 0 1 0 141323990 450256896 84233 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 84233 4416 2834 0 92131 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 336932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.05 7/251 123210
/proc/meminfo: memFree=123522388/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=336932 CPUtime=3572.16 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70321 0 0 0 356325 891 0 0 20 0 1 0 141323990 450256896 84233 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 84233 4416 2834 0 92131 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 336932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.09 4.09 4.05 6/247 123220
/proc/meminfo: memFree=123925188/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=336932 CPUtime=3600.08 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70321 0 0 0 359112 896 0 0 20 0 1 0 141323990 450256896 84233 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 84233 4416 2834 0 92131 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 336932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 123030 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.12 s, system=8.97127 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.09 4.09 4.05 6/247 123220
/proc/meminfo: memFree=123925188/131382112 swapFree=33000116/33010684
[pid=123030] ppid=123015 vsize=439704 memory=336932 CPUtime=3600.08 cores=1,3
/proc/123030/stat : 123030 (mixed-bag) R 123015 123030 122961 0 -1 4194304 70321 0 0 0 359112 896 0 0 20 0 1 0 141323990 450256896 84233 18446744073709551615 4235264 15840557 140737321543568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48472064 140737321552282 140737321552359 140737321552359 140737321557963 0
/proc/123030/statm: 109926 84233 4416 2834 0 92131 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 439704 KiB
Current children cumulated memory: 336932 KiB
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.1
CPU user time (s): 3591.12
CPU system time (s): 8.97127
CPU usage (%): 99.7172
Max. virtual memory (cumulated for all children) (KiB): 439704
Max. memory (cumulated for all children) (KiB): 336932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.12
system time used= 8.97127
maximum resident set size= 337700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70350
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 160
involuntary context switches= 1411
# summary of solver processes directly reported to runsolver:
# pid: 123030
# total CPU time (s): 3600.1
# total CPU user time (s): 3591.12
# total CPU system time (s): 8.97127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2209 second user time and 32.9927 second system time
The end
Begin job on nodeC007 at 2025-07-11 19:54:08
IDJOB=4528916
IDBENCH=147539
IDSOLVER=3386
FILE ID=nodeC007/4528916-1752256448
RUNJOBID= nodeC007-1752256448-122973
SLURM_JOB_ID= 9682599
Free space on /tmp= 431084 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528916-1752256448/watcher-4528916-1752256448 -o /tmp/evaluation-result-4528916-1752256448/solver-4528916-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752256448-122973 --watchdog 3760 mixed-bag HOME/instance-4528916-1752256448.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a
RANDOM SEED=856085768
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.374
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.203
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.205
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.216
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.240
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1195.293
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.189
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 124901544 kB
MemAvailable: 129785284 kB
Buffers: 16 kB
Cached: 5549532 kB
SwapCached: 2804 kB
Active: 337548 kB
Inactive: 5279176 kB
Active(anon): 44104 kB
Inactive(anon): 35084 kB
Active(file): 293444 kB
Inactive(file): 5244092 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000116 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61236 kB
Writeback: 0 kB
AnonPages: 67440 kB
Mapped: 98888 kB
Shmem: 12012 kB
KReclaimable: 371664 kB
Slab: 464764 kB
SReclaimable: 371664 kB
SUnreclaim: 93100 kB
KernelStack: 3816 kB
PageTables: 2728 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 343712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431024 MiB
End job on nodeC007 at 2025-07-11 20:54:19