0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.08/300.23 c [STEP] preprocessing done, loading into solver
299.08/300.24 c [STEP] solving
299.08/300.24 c #variables 474 #constraints 473
299.08/300.24 c SMALL=int, LARGE=long long
299.08/300.24 d SCIPUB 190
299.08/300.24 c bounds - >= 0 @ 298.95
299.08/300.24 c stratification level: 0
314.81/316.01 c bounds - >= 45 @ 298.95
314.81/316.01 c bounds - >= 46 @ 298.951
314.81/316.01 c bounds - >= 47 @ 298.951
314.81/316.01 c bounds - >= 48 @ 298.951
314.81/316.01 c bounds - >= 49 @ 298.951
314.81/316.01 c bounds - >= 50 @ 298.951
314.81/316.01 c bounds - >= 51 @ 298.951
314.81/316.01 c bounds - >= 52 @ 298.951
314.81/316.01 c bounds - >= 53 @ 298.951
314.81/316.01 c bounds - >= 54 @ 298.951
314.81/316.01 c bounds - >= 55 @ 298.951
314.81/316.01 c bounds - >= 56 @ 298.952
314.81/316.01 c bounds - >= 57 @ 298.952
314.81/316.01 c bounds - >= 58 @ 298.952
314.81/316.01 c bounds - >= 59 @ 298.952
314.81/316.01 c bounds - >= 60 @ 298.952
314.81/316.01 c bounds - >= 61 @ 298.952
314.81/316.01 c bounds - >= 62 @ 298.953
314.81/316.01 c bounds - >= 63 @ 298.953
314.81/316.01 c bounds - >= 64 @ 298.953
314.81/316.01 c bounds - >= 65 @ 298.953
314.81/316.01 c bounds - >= 66 @ 298.953
314.81/316.01 c bounds - >= 67 @ 298.953
314.81/316.01 c bounds - >= 68 @ 298.953
314.81/316.01 c bounds - >= 69 @ 298.953
314.81/316.01 c bounds - >= 70 @ 298.953
314.81/316.01 c bounds - >= 71 @ 298.953
314.81/316.01 c bounds - >= 72 @ 298.953
314.81/316.01 c bounds - >= 73 @ 298.953
314.81/316.01 c bounds - >= 74 @ 298.953
314.81/316.01 c bounds - >= 75 @ 298.953
314.81/316.01 c bounds - >= 76 @ 298.953
314.81/316.01 c bounds - >= 77 @ 298.953
314.81/316.01 c bounds - >= 78 @ 298.953
314.81/316.01 c bounds - >= 79 @ 298.953
314.81/316.01 c bounds - >= 80 @ 298.953
314.81/316.01 c bounds - >= 81 @ 298.954
314.81/316.01 c bounds - >= 82 @ 298.954
314.81/316.01 c bounds - >= 83 @ 298.954
314.81/316.01 c bounds - >= 84 @ 298.954
314.81/316.01 c bounds - >= 85 @ 298.954
314.81/316.01 c bounds - >= 86 @ 298.954
314.81/316.01 c bounds - >= 87 @ 298.954
314.81/316.01 c bounds - >= 88 @ 298.954
314.81/316.01 c bounds - >= 89 @ 298.954
314.81/316.01 c bounds - >= 90 @ 298.955
314.81/316.01 c bounds - >= 91 @ 298.955
314.81/316.01 c bounds - >= 92 @ 298.955
314.81/316.01 c bounds - >= 93 @ 298.955
314.81/316.01 c bounds - >= 94 @ 298.955
314.81/316.01 c bounds - >= 95 @ 298.955
314.81/316.01 c bounds - >= 96 @ 298.955
314.81/316.01 c bounds - >= 97 @ 298.955
314.81/316.01 c bounds - >= 98 @ 298.956
314.81/316.01 c bounds - >= 99 @ 298.956
314.81/316.01 c bounds - >= 100 @ 298.956
314.81/316.01 c bounds - >= 101 @ 298.956
314.81/316.01 c bounds - >= 102 @ 298.956
314.81/316.01 c bounds - >= 103 @ 298.956
314.81/316.01 c bounds - >= 104 @ 298.956
314.81/316.01 c bounds - >= 105 @ 298.956
314.81/316.01 c bounds - >= 106 @ 298.957
314.81/316.01 c bounds - >= 107 @ 298.957
314.81/316.01 c bounds - >= 108 @ 298.957
314.81/316.01 c bounds - >= 109 @ 298.957
314.81/316.01 c bounds - >= 110 @ 298.957
314.81/316.01 c bounds - >= 111 @ 298.957
314.81/316.01 c bounds - >= 112 @ 298.957
314.81/316.01 c bounds - >= 113 @ 298.957
314.81/316.01 c bounds - >= 114 @ 298.957
314.81/316.01 c bounds - >= 115 @ 298.957
314.81/316.01 c bounds - >= 116 @ 298.957
314.81/316.01 c bounds - >= 117 @ 298.957
314.81/316.01 c bounds - >= 118 @ 298.957
314.81/316.01 c bounds - >= 119 @ 298.957
314.81/316.01 c bounds - >= 120 @ 298.957
314.81/316.01 c bounds - >= 121 @ 298.957
314.81/316.01 c bounds - >= 122 @ 298.957
314.81/316.01 c bounds - >= 123 @ 298.957
314.81/316.01 c bounds - >= 124 @ 298.957
314.81/316.01 c bounds - >= 125 @ 298.957
314.81/316.01 c bounds - >= 126 @ 298.957
314.81/316.01 c bounds - >= 127 @ 298.958
314.81/316.01 c #Conflicts: 1000 | #Constraints: 1611
314.81/316.01 c #Conflicts: 2000 | #Constraints: 2611
314.81/316.01 c INPROCESSING
314.81/316.01 c GARBAGE COLLECT
314.81/316.01 c #Conflicts: 3000 | #Constraints: 2544
314.81/316.01 c #Conflicts: 4000 | #Constraints: 3544
314.81/316.01 c INPROCESSING
314.81/316.01 c GARBAGE COLLECT
314.81/316.01 c #Conflicts: 5000 | #Constraints: 2939
314.81/316.01 c #Conflicts: 6000 | #Constraints: 3939
314.81/316.01 c INPROCESSING
314.81/316.01 c GARBAGE COLLECT
314.81/316.01 c #Conflicts: 7000 | #Constraints: 2940
314.81/316.01 c #Conflicts: 8000 | #Constraints: 3940
314.81/316.01 c #Conflicts: 9000 | #Constraints: 4940
314.81/316.01 c INPROCESSING
314.81/316.01 c GARBAGE COLLECT
314.81/316.01 c #Conflicts: 10000 | #Constraints: 3647
314.81/316.01 c #Conflicts: 11000 | #Constraints: 4647
314.81/316.01 c #Conflicts: 12000 | #Constraints: 5647
314.81/316.01 c INPROCESSING
314.81/316.01 c GARBAGE COLLECT
314.81/316.01 c #Conflicts: 13000 | #Constraints: 4089
314.81/316.01 c #Conflicts: 14000 | #Constraints: 5089
314.81/316.01 c #Conflicts: 15000 | #Constraints: 6089
314.81/316.01 c INPROCESSING
314.81/316.01 c GARBAGE COLLECT
314.81/316.01 c #Conflicts: 16000 | #Constraints: 4310
314.81/316.01 c #Conflicts: 17000 | #Constraints: 5310
314.81/316.01 c #Conflicts: 18000 | #Constraints: 6310
314.81/316.01 c INPROCESSING
314.81/316.01 c GARBAGE COLLECT
314.81/316.01 c #Conflicts: 19000 | #Constraints: 4324
314.81/316.01 c #Conflicts: 20000 | #Constraints: 5324
314.81/316.01 c #Conflicts: 21000 | #Constraints: 6324
314.81/316.01 c INPROCESSING
314.81/316.01 c GARBAGE COLLECT
314.81/316.01 c #Conflicts: 22000 | #Constraints: 4130
314.81/316.01 c #Conflicts: 23000 | #Constraints: 5130
314.81/316.01 c #Conflicts: 24000 | #Constraints: 6130
314.81/316.01 c #Conflicts: 25000 | #Constraints: 7130
314.81/316.01 c INPROCESSING
314.81/316.01 c GARBAGE COLLECT
314.81/316.01 c #Conflicts: 26000 | #Constraints: 4728
314.81/316.01 c #Conflicts: 27000 | #Constraints: 5728
314.81/316.01 c #Conflicts: 28000 | #Constraints: 6728
314.81/316.01 c #Conflicts: 29000 | #Constraints: 7728
314.81/316.01 c INPROCESSING
314.81/316.01 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 30000 | #Constraints: 5132
391.40/392.90 c #Conflicts: 31000 | #Constraints: 6132
391.40/392.90 c #Conflicts: 32000 | #Constraints: 7132
391.40/392.90 c #Conflicts: 33000 | #Constraints: 8132
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 34000 | #Constraints: 5342
391.40/392.90 c #Conflicts: 35000 | #Constraints: 6342
391.40/392.90 c #Conflicts: 36000 | #Constraints: 7342
391.40/392.90 c #Conflicts: 37000 | #Constraints: 8342
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 38000 | #Constraints: 5348
391.40/392.90 c #Conflicts: 39000 | #Constraints: 6348
391.40/392.90 c #Conflicts: 40000 | #Constraints: 7348
391.40/392.90 c #Conflicts: 41000 | #Constraints: 8348
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 42000 | #Constraints: 5142
391.40/392.90 c #Conflicts: 43000 | #Constraints: 6142
391.40/392.90 c #Conflicts: 44000 | #Constraints: 7142
391.40/392.90 c #Conflicts: 45000 | #Constraints: 8142
391.40/392.90 c #Conflicts: 46000 | #Constraints: 9142
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 47000 | #Constraints: 5734
391.40/392.90 c #Conflicts: 48000 | #Constraints: 6734
391.40/392.90 c #Conflicts: 49000 | #Constraints: 7734
391.40/392.90 c #Conflicts: 50000 | #Constraints: 8734
391.40/392.90 c #Conflicts: 51000 | #Constraints: 9734
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 52000 | #Constraints: 6141
391.40/392.90 c #Conflicts: 53000 | #Constraints: 7141
391.40/392.90 c #Conflicts: 54000 | #Constraints: 8141
391.40/392.90 c #Conflicts: 55000 | #Constraints: 9141
391.40/392.90 c #Conflicts: 56000 | #Constraints: 10141
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 57000 | #Constraints: 6341
391.40/392.90 c #Conflicts: 58000 | #Constraints: 7341
391.40/392.90 c #Conflicts: 59000 | #Constraints: 8341
391.40/392.90 c #Conflicts: 60000 | #Constraints: 9341
391.40/392.90 c #Conflicts: 61000 | #Constraints: 10341
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 62000 | #Constraints: 6344
391.40/392.90 c #Conflicts: 63000 | #Constraints: 7344
391.40/392.90 c #Conflicts: 64000 | #Constraints: 8344
391.40/392.90 c #Conflicts: 65000 | #Constraints: 9344
391.40/392.90 c #Conflicts: 66000 | #Constraints: 10344
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 67000 | #Constraints: 6143
391.40/392.90 c #Conflicts: 68000 | #Constraints: 7143
391.40/392.90 c #Conflicts: 69000 | #Constraints: 8143
391.40/392.90 c #Conflicts: 70000 | #Constraints: 9143
391.40/392.90 c #Conflicts: 71000 | #Constraints: 10143
391.40/392.90 c #Conflicts: 72000 | #Constraints: 11143
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 73000 | #Constraints: 6742
391.40/392.90 c #Conflicts: 74000 | #Constraints: 7742
391.40/392.90 c #Conflicts: 75000 | #Constraints: 8742
391.40/392.90 c #Conflicts: 76000 | #Constraints: 9742
391.40/392.90 c #Conflicts: 77000 | #Constraints: 10742
391.40/392.90 c #Conflicts: 78000 | #Constraints: 11742
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 79000 | #Constraints: 7142
391.40/392.90 c #Conflicts: 80000 | #Constraints: 8142
391.40/392.90 c #Conflicts: 81000 | #Constraints: 9142
391.40/392.90 c #Conflicts: 82000 | #Constraints: 10142
391.40/392.90 c #Conflicts: 83000 | #Constraints: 11142
391.40/392.90 c #Conflicts: 84000 | #Constraints: 12142
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 85000 | #Constraints: 7336
391.40/392.90 c #Conflicts: 86000 | #Constraints: 8336
391.40/392.90 c #Conflicts: 87000 | #Constraints: 9336
391.40/392.90 c #Conflicts: 88000 | #Constraints: 10336
391.40/392.90 c #Conflicts: 89000 | #Constraints: 11336
391.40/392.90 c #Conflicts: 90000 | #Constraints: 12336
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 91000 | #Constraints: 7340
391.40/392.90 c #Conflicts: 92000 | #Constraints: 8340
391.40/392.90 c #Conflicts: 93000 | #Constraints: 9340
391.40/392.90 c #Conflicts: 94000 | #Constraints: 10340
391.40/392.90 c #Conflicts: 95000 | #Constraints: 11340
391.40/392.90 c #Conflicts: 96000 | #Constraints: 12340
391.40/392.90 c INPROCESSING
391.40/392.90 c GARBAGE COLLECT
391.40/392.90 c #Conflicts: 97000 | #Constraints: 7148
391.40/392.90 c #Conflicts: 98000 | #Constraints: 8148
391.40/392.90 c #Conflicts: 99000 | #Constraints: 9148
391.40/392.90 c #Conflicts: 100000 | #Constraints: 10148
476.72/478.58 c #Conflicts: 101000 | #Constraints: 11148
476.72/478.58 c #Conflicts: 102000 | #Constraints: 12148
476.72/478.58 c #Conflicts: 103000 | #Constraints: 13148
476.72/478.58 c INPROCESSING
476.72/478.58 c GARBAGE COLLECT
476.72/478.58 c #Conflicts: 104000 | #Constraints: 7740
476.72/478.58 c #Conflicts: 105000 | #Constraints: 8740
476.72/478.58 c #Conflicts: 106000 | #Constraints: 9740
476.72/478.58 c #Conflicts: 107000 | #Constraints: 10740
476.72/478.58 c #Conflicts: 108000 | #Constraints: 11740
476.72/478.58 c #Conflicts: 109000 | #Constraints: 12740
476.72/478.58 c #Conflicts: 110000 | #Constraints: 13740
476.72/478.58 c INPROCESSING
476.72/478.58 c GARBAGE COLLECT
476.72/478.58 c #Conflicts: 111000 | #Constraints: 8141
476.72/478.58 c #Conflicts: 112000 | #Constraints: 9141
476.72/478.58 c #Conflicts: 113000 | #Constraints: 10141
476.72/478.58 c #Conflicts: 114000 | #Constraints: 11141
476.72/478.58 c #Conflicts: 115000 | #Constraints: 12141
476.72/478.58 c #Conflicts: 116000 | #Constraints: 13141
476.72/478.58 c #Conflicts: 117000 | #Constraints: 14141
476.72/478.58 c INPROCESSING
476.72/478.58 c GARBAGE COLLECT
476.72/478.58 c #Conflicts: 118000 | #Constraints: 8346
476.72/478.58 c #Conflicts: 119000 | #Constraints: 9346
476.72/478.58 c #Conflicts: 120000 | #Constraints: 10346
476.72/478.58 c #Conflicts: 121000 | #Constraints: 11346
476.72/478.58 c #Conflicts: 122000 | #Constraints: 12346
476.72/478.58 c #Conflicts: 123000 | #Constraints: 13346
476.72/478.58 c #Conflicts: 124000 | #Constraints: 14346
476.72/478.58 c INPROCESSING
476.72/478.58 c GARBAGE COLLECT
476.72/478.58 c #Conflicts: 125000 | #Constraints: 8345
476.72/478.58 c #Conflicts: 126000 | #Constraints: 9345
476.72/478.58 c #Conflicts: 127000 | #Constraints: 10345
476.72/478.58 c #Conflicts: 128000 | #Constraints: 11345
476.72/478.58 c #Conflicts: 129000 | #Constraints: 12345
476.72/478.58 c #Conflicts: 130000 | #Constraints: 13345
476.72/478.58 c #Conflicts: 131000 | #Constraints: 14345
476.72/478.58 c INPROCESSING
476.72/478.58 c GARBAGE COLLECT
476.72/478.58 c #Conflicts: 132000 | #Constraints: 8145
476.72/478.58 c #Conflicts: 133000 | #Constraints: 9145
476.72/478.58 c #Conflicts: 134000 | #Constraints: 10145
476.72/478.58 c #Conflicts: 135000 | #Constraints: 11145
476.72/478.58 c #Conflicts: 136000 | #Constraints: 12145
476.72/478.58 c #Conflicts: 137000 | #Constraints: 13145
476.72/478.58 c #Conflicts: 138000 | #Constraints: 14145
476.72/478.58 c #Conflicts: 139000 | #Constraints: 15145
476.72/478.58 c INPROCESSING
476.72/478.58 c GARBAGE COLLECT
476.72/478.58 c #Conflicts: 140000 | #Constraints: 8746
476.72/478.58 c #Conflicts: 141000 | #Constraints: 9746
476.72/478.58 c #Conflicts: 142000 | #Constraints: 10746
476.72/478.58 c #Conflicts: 143000 | #Constraints: 11746
476.72/478.58 c #Conflicts: 144000 | #Constraints: 12746
476.72/478.58 c #Conflicts: 145000 | #Constraints: 13746
476.72/478.58 c #Conflicts: 146000 | #Constraints: 14746
476.72/478.58 c #Conflicts: 147000 | #Constraints: 15746
476.72/478.58 c INPROCESSING
476.72/478.58 c GARBAGE COLLECT
476.72/478.58 c #Conflicts: 148000 | #Constraints: 9146
476.72/478.58 c #Conflicts: 149000 | #Constraints: 10146
476.72/478.58 c #Conflicts: 150000 | #Constraints: 11146
476.72/478.58 c #Conflicts: 151000 | #Constraints: 12146
476.72/478.58 c #Conflicts: 152000 | #Constraints: 13146
476.72/478.58 c #Conflicts: 153000 | #Constraints: 14146
476.72/478.58 c #Conflicts: 154000 | #Constraints: 15146
476.72/478.58 c #Conflicts: 155000 | #Constraints: 16146
476.72/478.58 c INPROCESSING
476.72/478.58 c GARBAGE COLLECT
476.72/478.58 c #Conflicts: 156000 | #Constraints: 9344
476.72/478.58 c #Conflicts: 157000 | #Constraints: 10344
476.72/478.58 c #Conflicts: 158000 | #Constraints: 11344
476.72/478.58 c #Conflicts: 159000 | #Constraints: 12344
476.72/478.58 c #Conflicts: 160000 | #Constraints: 13344
476.72/478.58 c #Conflicts: 161000 | #Constraints: 14344
476.72/478.58 c #Conflicts: 162000 | #Constraints: 15344
476.72/478.58 c #Conflicts: 163000 | #Constraints: 16344
476.72/478.58 c INPROCESSING
476.72/478.58 c GARBAGE COLLECT
476.72/478.58 c #Conflicts: 164000 | #Constraints: 9344
476.72/478.58 c #Conflicts: 165000 | #Constraints: 10344
476.72/478.58 c #Conflicts: 166000 | #Constraints: 11344
476.72/478.58 c #Conflicts: 167000 | #Constraints: 12344
476.72/478.58 c #Conflicts: 168000 | #Constraints: 13344
476.72/478.58 c #Conflicts: 169000 | #Constraints: 14344
476.72/478.58 c #Conflicts: 170000 | #Constraints: 15344
476.72/478.58 c #Conflicts: 171000 | #Constraints: 16344
476.72/478.58 c INPROCESSING
476.72/478.58 c GARBAGE COLLECT
476.72/478.58 c #Conflicts: 172000 | #Constraints: 9142
599.70/601.99 c #Conflicts: 173000 | #Constraints: 10142
599.70/601.99 c #Conflicts: 174000 | #Constraints: 11142
599.70/601.99 c #Conflicts: 175000 | #Constraints: 12142
599.70/601.99 c #Conflicts: 176000 | #Constraints: 13142
599.70/601.99 c #Conflicts: 177000 | #Constraints: 14142
599.70/601.99 c #Conflicts: 178000 | #Constraints: 15142
599.70/601.99 c #Conflicts: 179000 | #Constraints: 16142
599.70/601.99 c #Conflicts: 180000 | #Constraints: 17142
599.70/601.99 c INPROCESSING
599.70/601.99 c GARBAGE COLLECT
599.70/601.99 c #Conflicts: 181000 | #Constraints: 9747
599.70/601.99 c #Conflicts: 182000 | #Constraints: 10747
599.70/601.99 c #Conflicts: 183000 | #Constraints: 11747
599.70/601.99 c #Conflicts: 184000 | #Constraints: 12747
599.70/601.99 c #Conflicts: 185000 | #Constraints: 13747
599.70/601.99 c #Conflicts: 186000 | #Constraints: 14747
599.70/601.99 c #Conflicts: 187000 | #Constraints: 15747
599.70/601.99 c #Conflicts: 188000 | #Constraints: 16747
599.70/601.99 c #Conflicts: 189000 | #Constraints: 17747
599.70/601.99 c INPROCESSING
599.70/601.99 c GARBAGE COLLECT
599.70/601.99 c #Conflicts: 190000 | #Constraints: 10144
599.70/601.99 c #Conflicts: 191000 | #Constraints: 11144
599.70/601.99 c #Conflicts: 192000 | #Constraints: 12144
599.70/601.99 c #Conflicts: 193000 | #Constraints: 13144
599.70/601.99 c #Conflicts: 194000 | #Constraints: 14144
599.70/601.99 c #Conflicts: 195000 | #Constraints: 15144
599.70/601.99 c #Conflicts: 196000 | #Constraints: 16144
599.70/601.99 c #Conflicts: 197000 | #Constraints: 17144
599.70/601.99 c #Conflicts: 198000 | #Constraints: 18144
599.70/601.99 c INPROCESSING
599.70/601.99 c GARBAGE COLLECT
599.70/601.99 c #Conflicts: 199000 | #Constraints: 10343
599.70/601.99 c #Conflicts: 200000 | #Constraints: 11343
599.70/601.99 c #Conflicts: 201000 | #Constraints: 12343
599.70/601.99 c #Conflicts: 202000 | #Constraints: 13343
599.70/601.99 c #Conflicts: 203000 | #Constraints: 14343
599.70/601.99 c #Conflicts: 204000 | #Constraints: 15343
599.70/601.99 c #Conflicts: 205000 | #Constraints: 16343
599.70/601.99 c #Conflicts: 206000 | #Constraints: 17343
599.70/601.99 c #Conflicts: 207000 | #Constraints: 18343
599.70/601.99 c INPROCESSING
599.70/601.99 c GARBAGE COLLECT
599.70/601.99 c #Conflicts: 208000 | #Constraints: 10340
599.70/601.99 c #Conflicts: 209000 | #Constraints: 11340
599.70/601.99 c #Conflicts: 210000 | #Constraints: 12340
599.70/601.99 c #Conflicts: 211000 | #Constraints: 13340
599.70/601.99 c #Conflicts: 212000 | #Constraints: 14340
599.70/601.99 c #Conflicts: 213000 | #Constraints: 15340
599.70/601.99 c #Conflicts: 214000 | #Constraints: 16340
599.70/601.99 c #Conflicts: 215000 | #Constraints: 17340
599.70/601.99 c #Conflicts: 216000 | #Constraints: 18340
599.70/601.99 c INPROCESSING
599.70/601.99 c GARBAGE COLLECT
599.70/601.99 c #Conflicts: 217000 | #Constraints: 10143
599.70/601.99 c #Conflicts: 218000 | #Constraints: 11143
599.70/601.99 c #Conflicts: 219000 | #Constraints: 12143
599.70/601.99 c #Conflicts: 220000 | #Constraints: 13143
599.70/601.99 c #Conflicts: 221000 | #Constraints: 14143
599.70/601.99 c #Conflicts: 222000 | #Constraints: 15143
599.70/601.99 c #Conflicts: 223000 | #Constraints: 16143
599.70/601.99 c #Conflicts: 224000 | #Constraints: 17143
599.70/601.99 c #Conflicts: 225000 | #Constraints: 18143
599.70/601.99 c #Conflicts: 226000 | #Constraints: 19143
599.70/601.99 c INPROCESSING
599.70/601.99 c GARBAGE COLLECT
599.70/601.99 c #Conflicts: 227000 | #Constraints: 10750
599.70/601.99 c #Conflicts: 228000 | #Constraints: 11750
599.70/601.99 c #Conflicts: 229000 | #Constraints: 12750
599.70/601.99 c #Conflicts: 230000 | #Constraints: 13750
599.70/601.99 c #Conflicts: 231000 | #Constraints: 14750
599.70/601.99 c #Conflicts: 232000 | #Constraints: 15750
599.70/601.99 c #Conflicts: 233000 | #Constraints: 16750
599.70/601.99 c #Conflicts: 234000 | #Constraints: 17750
599.70/601.99 c #Conflicts: 235000 | #Constraints: 18750
599.70/601.99 c #Conflicts: 236000 | #Constraints: 19750
599.70/601.99 c INPROCESSING
599.70/601.99 c GARBAGE COLLECT
599.70/601.99 c #Conflicts: 237000 | #Constraints: 11153
599.70/601.99 c #Conflicts: 238000 | #Constraints: 12153
599.70/601.99 c #Conflicts: 239000 | #Constraints: 13153
599.70/601.99 c #Conflicts: 240000 | #Constraints: 14153
599.70/601.99 c #Conflicts: 241000 | #Constraints: 15153
599.70/601.99 c #Conflicts: 242000 | #Constraints: 16153
599.70/601.99 c #Conflicts: 243000 | #Constraints: 17153
599.70/601.99 c #Conflicts: 244000 | #Constraints: 18153
599.70/601.99 c #Conflicts: 245000 | #Constraints: 19153
599.70/601.99 c #Conflicts: 246000 | #Constraints: 20153
599.70/601.99 c INPROCESSING
757.45/760.24 c GARBAGE COLLECT
757.45/760.24 c #Conflicts: 247000 | #Constraints: 11341
757.45/760.24 c #Conflicts: 248000 | #Constraints: 12341
757.45/760.24 c #Conflicts: 249000 | #Constraints: 13341
757.45/760.24 c #Conflicts: 250000 | #Constraints: 14341
757.45/760.24 c #Conflicts: 251000 | #Constraints: 15341
757.45/760.24 c #Conflicts: 252000 | #Constraints: 16341
757.45/760.24 c #Conflicts: 253000 | #Constraints: 17341
757.45/760.24 c #Conflicts: 254000 | #Constraints: 18341
757.45/760.24 c #Conflicts: 255000 | #Constraints: 19341
757.45/760.24 c #Conflicts: 256000 | #Constraints: 20341
757.45/760.24 c INPROCESSING
757.45/760.24 c GARBAGE COLLECT
757.45/760.24 c #Conflicts: 257000 | #Constraints: 11336
757.45/760.24 c #Conflicts: 258000 | #Constraints: 12336
757.45/760.24 c #Conflicts: 259000 | #Constraints: 13336
757.45/760.24 c #Conflicts: 260000 | #Constraints: 14336
757.45/760.24 c #Conflicts: 261000 | #Constraints: 15336
757.45/760.24 c #Conflicts: 262000 | #Constraints: 16336
757.45/760.24 c #Conflicts: 263000 | #Constraints: 17336
757.45/760.24 c #Conflicts: 264000 | #Constraints: 18336
757.45/760.24 c #Conflicts: 265000 | #Constraints: 19336
757.45/760.24 c #Conflicts: 266000 | #Constraints: 20336
757.45/760.24 c INPROCESSING
757.45/760.24 c GARBAGE COLLECT
757.45/760.24 c #Conflicts: 267000 | #Constraints: 11145
757.45/760.24 c #Conflicts: 268000 | #Constraints: 12145
757.45/760.24 c #Conflicts: 269000 | #Constraints: 13145
757.45/760.24 c #Conflicts: 270000 | #Constraints: 14145
757.45/760.24 c #Conflicts: 271000 | #Constraints: 15145
757.45/760.24 c #Conflicts: 272000 | #Constraints: 16145
757.45/760.24 c #Conflicts: 273000 | #Constraints: 17145
757.45/760.24 c #Conflicts: 274000 | #Constraints: 18145
757.45/760.24 c #Conflicts: 275000 | #Constraints: 19145
757.45/760.24 c #Conflicts: 276000 | #Constraints: 20145
757.45/760.24 c #Conflicts: 277000 | #Constraints: 21145
757.45/760.24 c INPROCESSING
757.45/760.24 c GARBAGE COLLECT
757.45/760.24 c #Conflicts: 278000 | #Constraints: 11746
757.45/760.24 c #Conflicts: 279000 | #Constraints: 12746
757.45/760.24 c #Conflicts: 280000 | #Constraints: 13746
757.45/760.24 c #Conflicts: 281000 | #Constraints: 14746
757.45/760.24 c #Conflicts: 282000 | #Constraints: 15746
757.45/760.24 c #Conflicts: 283000 | #Constraints: 16746
757.45/760.24 c #Conflicts: 284000 | #Constraints: 17746
757.45/760.24 c #Conflicts: 285000 | #Constraints: 18746
757.45/760.24 c #Conflicts: 286000 | #Constraints: 19746
757.45/760.24 c #Conflicts: 287000 | #Constraints: 20746
757.45/760.24 c #Conflicts: 288000 | #Constraints: 21746
757.45/760.24 c INPROCESSING
757.45/760.24 c GARBAGE COLLECT
757.45/760.24 c #Conflicts: 289000 | #Constraints: 12149
757.45/760.24 c #Conflicts: 290000 | #Constraints: 13149
757.45/760.24 c #Conflicts: 291000 | #Constraints: 14149
757.45/760.24 c #Conflicts: 292000 | #Constraints: 15149
757.45/760.24 c #Conflicts: 293000 | #Constraints: 16149
757.45/760.24 c #Conflicts: 294000 | #Constraints: 17149
757.45/760.24 c #Conflicts: 295000 | #Constraints: 18149
757.45/760.24 c #Conflicts: 296000 | #Constraints: 19149
757.45/760.24 c #Conflicts: 297000 | #Constraints: 20149
757.45/760.24 c #Conflicts: 298000 | #Constraints: 21149
757.45/760.24 c #Conflicts: 299000 | #Constraints: 22149
757.45/760.24 c INPROCESSING
757.45/760.24 c GARBAGE COLLECT
757.45/760.24 c #Conflicts: 300000 | #Constraints: 12346
757.45/760.24 c #Conflicts: 301000 | #Constraints: 13346
757.45/760.24 c #Conflicts: 302000 | #Constraints: 14346
757.45/760.24 c #Conflicts: 303000 | #Constraints: 15346
757.45/760.24 c #Conflicts: 304000 | #Constraints: 16346
757.45/760.24 c #Conflicts: 305000 | #Constraints: 17346
757.45/760.24 c #Conflicts: 306000 | #Constraints: 18346
757.45/760.24 c #Conflicts: 307000 | #Constraints: 19346
757.45/760.24 c #Conflicts: 308000 | #Constraints: 20346
757.45/760.24 c #Conflicts: 309000 | #Constraints: 21346
757.45/760.24 c #Conflicts: 310000 | #Constraints: 22346
757.45/760.24 c INPROCESSING
757.45/760.24 c GARBAGE COLLECT
757.45/760.24 c #Conflicts: 311000 | #Constraints: 12347
757.45/760.24 c #Conflicts: 312000 | #Constraints: 13347
757.45/760.24 c #Conflicts: 313000 | #Constraints: 14347
757.45/760.24 c #Conflicts: 314000 | #Constraints: 15347
757.45/760.24 c #Conflicts: 315000 | #Constraints: 16347
757.45/760.24 c #Conflicts: 316000 | #Constraints: 17347
757.45/760.24 c #Conflicts: 317000 | #Constraints: 18347
757.45/760.24 c #Conflicts: 318000 | #Constraints: 19347
757.45/760.24 c #Conflicts: 319000 | #Constraints: 20347
757.45/760.24 c #Conflicts: 320000 | #Constraints: 21347
757.45/760.24 c #Conflicts: 321000 | #Constraints: 22347
951.08/954.54 c INPROCESSING
951.08/954.54 c GARBAGE COLLECT
951.08/954.54 c #Conflicts: 322000 | #Constraints: 12150
951.08/954.54 c #Conflicts: 323000 | #Constraints: 13150
951.08/954.54 c #Conflicts: 324000 | #Constraints: 14150
951.08/954.54 c #Conflicts: 325000 | #Constraints: 15150
951.08/954.54 c #Conflicts: 326000 | #Constraints: 16150
951.08/954.54 c #Conflicts: 327000 | #Constraints: 17150
951.08/954.54 c #Conflicts: 328000 | #Constraints: 18150
951.08/954.54 c #Conflicts: 329000 | #Constraints: 19150
951.08/954.54 c #Conflicts: 330000 | #Constraints: 20150
951.08/954.54 c #Conflicts: 331000 | #Constraints: 21150
951.08/954.54 c #Conflicts: 332000 | #Constraints: 22150
951.08/954.54 c #Conflicts: 333000 | #Constraints: 23150
951.08/954.54 c INPROCESSING
951.08/954.54 c GARBAGE COLLECT
951.08/954.54 c #Conflicts: 334000 | #Constraints: 12743
951.08/954.54 c #Conflicts: 335000 | #Constraints: 13743
951.08/954.54 c #Conflicts: 336000 | #Constraints: 14743
951.08/954.54 c #Conflicts: 337000 | #Constraints: 15743
951.08/954.54 c #Conflicts: 338000 | #Constraints: 16743
951.08/954.54 c #Conflicts: 339000 | #Constraints: 17743
951.08/954.54 c #Conflicts: 340000 | #Constraints: 18743
951.08/954.54 c #Conflicts: 341000 | #Constraints: 19743
951.08/954.54 c #Conflicts: 342000 | #Constraints: 20743
951.08/954.54 c #Conflicts: 343000 | #Constraints: 21743
951.08/954.54 c #Conflicts: 344000 | #Constraints: 22743
951.08/954.54 c #Conflicts: 345000 | #Constraints: 23743
951.08/954.54 c INPROCESSING
951.08/954.54 c GARBAGE COLLECT
951.08/954.54 c #Conflicts: 346000 | #Constraints: 13142
951.08/954.54 c #Conflicts: 347000 | #Constraints: 14142
951.08/954.54 c #Conflicts: 348000 | #Constraints: 15142
951.08/954.54 c #Conflicts: 349000 | #Constraints: 16142
951.08/954.54 c #Conflicts: 350000 | #Constraints: 17142
951.08/954.54 c #Conflicts: 351000 | #Constraints: 18142
951.08/954.54 c #Conflicts: 352000 | #Constraints: 19142
951.08/954.54 c #Conflicts: 353000 | #Constraints: 20142
951.08/954.54 c #Conflicts: 354000 | #Constraints: 21142
951.08/954.54 c #Conflicts: 355000 | #Constraints: 22142
951.08/954.54 c #Conflicts: 356000 | #Constraints: 23142
951.08/954.54 c #Conflicts: 357000 | #Constraints: 24142
951.08/954.54 c INPROCESSING
951.08/954.54 c GARBAGE COLLECT
951.08/954.54 c #Conflicts: 358000 | #Constraints: 13346
951.08/954.54 c #Conflicts: 359000 | #Constraints: 14346
951.08/954.54 c #Conflicts: 360000 | #Constraints: 15346
951.08/954.54 c #Conflicts: 361000 | #Constraints: 16346
951.08/954.54 c #Conflicts: 362000 | #Constraints: 17346
951.08/954.54 c #Conflicts: 363000 | #Constraints: 18346
951.08/954.54 c #Conflicts: 364000 | #Constraints: 19346
951.08/954.54 c #Conflicts: 365000 | #Constraints: 20346
951.08/954.54 c #Conflicts: 366000 | #Constraints: 21346
951.08/954.54 c #Conflicts: 367000 | #Constraints: 22346
951.08/954.54 c #Conflicts: 368000 | #Constraints: 23346
951.08/954.54 c #Conflicts: 369000 | #Constraints: 24346
951.08/954.54 c INPROCESSING
951.08/954.54 c GARBAGE COLLECT
951.08/954.54 c #Conflicts: 370000 | #Constraints: 13343
951.08/954.54 c #Conflicts: 371000 | #Constraints: 14343
951.08/954.54 c #Conflicts: 372000 | #Constraints: 15343
951.08/954.54 c #Conflicts: 373000 | #Constraints: 16343
951.08/954.54 c #Conflicts: 374000 | #Constraints: 17343
951.08/954.54 c #Conflicts: 375000 | #Constraints: 18343
951.08/954.54 c #Conflicts: 376000 | #Constraints: 19343
951.08/954.54 c #Conflicts: 377000 | #Constraints: 20343
951.08/954.54 c #Conflicts: 378000 | #Constraints: 21343
951.08/954.54 c #Conflicts: 379000 | #Constraints: 22343
951.08/954.54 c #Conflicts: 380000 | #Constraints: 23343
951.08/954.54 c #Conflicts: 381000 | #Constraints: 24343
951.08/954.54 c INPROCESSING
951.08/954.54 c GARBAGE COLLECT
951.08/954.54 c #Conflicts: 382000 | #Constraints: 13143
951.08/954.54 c #Conflicts: 383000 | #Constraints: 14143
951.08/954.54 c #Conflicts: 384000 | #Constraints: 15143
951.08/954.54 c #Conflicts: 385000 | #Constraints: 16143
951.08/954.54 c #Conflicts: 386000 | #Constraints: 17143
951.08/954.54 c #Conflicts: 387000 | #Constraints: 18143
951.08/954.54 c #Conflicts: 388000 | #Constraints: 19143
951.08/954.54 c #Conflicts: 389000 | #Constraints: 20143
951.08/954.54 c #Conflicts: 390000 | #Constraints: 21143
951.08/954.54 c #Conflicts: 391000 | #Constraints: 22143
951.08/954.54 c #Conflicts: 392000 | #Constraints: 23143
951.08/954.54 c #Conflicts: 393000 | #Constraints: 24143
951.08/954.54 c #Conflicts: 394000 | #Constraints: 25143
951.08/954.54 c INPROCESSING
951.08/954.54 c GARBAGE COLLECT
951.08/954.54 c #Conflicts: 395000 | #Constraints: 13741
1235.89/1240.39 c #Conflicts: 396000 | #Constraints: 14741
1235.89/1240.39 c #Conflicts: 397000 | #Constraints: 15741
1235.89/1240.39 c #Conflicts: 398000 | #Constraints: 16741
1235.89/1240.39 c #Conflicts: 399000 | #Constraints: 17741
1235.89/1240.39 c #Conflicts: 400000 | #Constraints: 18741
1235.89/1240.39 c #Conflicts: 401000 | #Constraints: 19741
1235.89/1240.39 c #Conflicts: 402000 | #Constraints: 20741
1235.89/1240.39 c #Conflicts: 403000 | #Constraints: 21741
1235.89/1240.39 c #Conflicts: 404000 | #Constraints: 22741
1235.89/1240.39 c #Conflicts: 405000 | #Constraints: 23741
1235.89/1240.39 c #Conflicts: 406000 | #Constraints: 24741
1235.89/1240.39 c #Conflicts: 407000 | #Constraints: 25741
1235.89/1240.39 c INPROCESSING
1235.89/1240.39 c GARBAGE COLLECT
1235.89/1240.39 c #Conflicts: 408000 | #Constraints: 14142
1235.89/1240.39 c #Conflicts: 409000 | #Constraints: 15142
1235.89/1240.39 c #Conflicts: 410000 | #Constraints: 16142
1235.89/1240.39 c #Conflicts: 411000 | #Constraints: 17142
1235.89/1240.39 c #Conflicts: 412000 | #Constraints: 18142
1235.89/1240.39 c #Conflicts: 413000 | #Constraints: 19142
1235.89/1240.39 c #Conflicts: 414000 | #Constraints: 20142
1235.89/1240.39 c #Conflicts: 415000 | #Constraints: 21142
1235.89/1240.39 c #Conflicts: 416000 | #Constraints: 22142
1235.89/1240.39 c #Conflicts: 417000 | #Constraints: 23142
1235.89/1240.39 c #Conflicts: 418000 | #Constraints: 24142
1235.89/1240.39 c #Conflicts: 419000 | #Constraints: 25142
1235.89/1240.39 c #Conflicts: 420000 | #Constraints: 26142
1235.89/1240.39 c INPROCESSING
1235.89/1240.39 c GARBAGE COLLECT
1235.89/1240.39 c #Conflicts: 421000 | #Constraints: 14342
1235.89/1240.39 c #Conflicts: 422000 | #Constraints: 15342
1235.89/1240.39 c #Conflicts: 423000 | #Constraints: 16342
1235.89/1240.39 c #Conflicts: 424000 | #Constraints: 17342
1235.89/1240.39 c #Conflicts: 425000 | #Constraints: 18342
1235.89/1240.39 c #Conflicts: 426000 | #Constraints: 19342
1235.89/1240.39 c #Conflicts: 427000 | #Constraints: 20342
1235.89/1240.39 c #Conflicts: 428000 | #Constraints: 21342
1235.89/1240.39 c #Conflicts: 429000 | #Constraints: 22342
1235.89/1240.39 c #Conflicts: 430000 | #Constraints: 23342
1235.89/1240.39 c #Conflicts: 431000 | #Constraints: 24342
1235.89/1240.39 c #Conflicts: 432000 | #Constraints: 25342
1235.89/1240.39 c #Conflicts: 433000 | #Constraints: 26342
1235.89/1240.39 c INPROCESSING
1235.89/1240.39 c GARBAGE COLLECT
1235.89/1240.39 c #Conflicts: 434000 | #Constraints: 14347
1235.89/1240.39 c #Conflicts: 435000 | #Constraints: 15347
1235.89/1240.39 c #Conflicts: 436000 | #Constraints: 16347
1235.89/1240.39 c #Conflicts: 437000 | #Constraints: 17347
1235.89/1240.39 c #Conflicts: 438000 | #Constraints: 18347
1235.89/1240.39 c #Conflicts: 439000 | #Constraints: 19347
1235.89/1240.39 c #Conflicts: 440000 | #Constraints: 20347
1235.89/1240.39 c #Conflicts: 441000 | #Constraints: 21347
1235.89/1240.39 c #Conflicts: 442000 | #Constraints: 22347
1235.89/1240.39 c #Conflicts: 443000 | #Constraints: 23347
1235.89/1240.39 c #Conflicts: 444000 | #Constraints: 24347
1235.89/1240.39 c #Conflicts: 445000 | #Constraints: 25347
1235.89/1240.39 c #Conflicts: 446000 | #Constraints: 26347
1235.89/1240.39 c INPROCESSING
1235.89/1240.39 c GARBAGE COLLECT
1235.89/1240.39 c #Conflicts: 447000 | #Constraints: 14146
1235.89/1240.39 c #Conflicts: 448000 | #Constraints: 15146
1235.89/1240.39 c #Conflicts: 449000 | #Constraints: 16146
1235.89/1240.39 c #Conflicts: 450000 | #Constraints: 17146
1235.89/1240.39 c #Conflicts: 451000 | #Constraints: 18146
1235.89/1240.39 c #Conflicts: 452000 | #Constraints: 19146
1235.89/1240.39 c #Conflicts: 453000 | #Constraints: 20146
1235.89/1240.39 c #Conflicts: 454000 | #Constraints: 21146
1235.89/1240.39 c #Conflicts: 455000 | #Constraints: 22146
1235.89/1240.39 c #Conflicts: 456000 | #Constraints: 23146
1235.89/1240.39 c #Conflicts: 457000 | #Constraints: 24146
1235.89/1240.39 c #Conflicts: 458000 | #Constraints: 25146
1235.89/1240.39 c #Conflicts: 459000 | #Constraints: 26146
1235.89/1240.39 c #Conflicts: 460000 | #Constraints: 27146
1235.89/1240.39 c INPROCESSING
1235.89/1240.39 c GARBAGE COLLECT
1235.89/1240.39 c #Conflicts: 461000 | #Constraints: 14741
1235.89/1240.39 c #Conflicts: 462000 | #Constraints: 15741
1235.89/1240.39 c #Conflicts: 463000 | #Constraints: 16741
1235.89/1240.39 c #Conflicts: 464000 | #Constraints: 17741
1235.89/1240.39 c #Conflicts: 465000 | #Constraints: 18741
1235.89/1240.39 c #Conflicts: 466000 | #Constraints: 19741
1235.89/1240.39 c #Conflicts: 467000 | #Constraints: 20741
1235.89/1240.39 c #Conflicts: 468000 | #Constraints: 21741
1235.89/1240.39 c #Conflicts: 469000 | #Constraints: 22741
1235.89/1240.39 c #Conflicts: 470000 | #Constraints: 23741
1235.89/1240.39 c #Conflicts: 471000 | #Constraints: 24741
1513.22/1518.64 c #Conflicts: 472000 | #Constraints: 25741
1513.22/1518.64 c #Conflicts: 473000 | #Constraints: 26741
1513.22/1518.64 c #Conflicts: 474000 | #Constraints: 27741
1513.22/1518.64 c INPROCESSING
1513.22/1518.64 c GARBAGE COLLECT
1513.22/1518.64 c #Conflicts: 475000 | #Constraints: 15145
1513.22/1518.64 c #Conflicts: 476000 | #Constraints: 16145
1513.22/1518.64 c #Conflicts: 477000 | #Constraints: 17145
1513.22/1518.64 c #Conflicts: 478000 | #Constraints: 18145
1513.22/1518.64 c #Conflicts: 479000 | #Constraints: 19145
1513.22/1518.64 c #Conflicts: 480000 | #Constraints: 20145
1513.22/1518.64 c #Conflicts: 481000 | #Constraints: 21145
1513.22/1518.64 c #Conflicts: 482000 | #Constraints: 22145
1513.22/1518.64 c #Conflicts: 483000 | #Constraints: 23145
1513.22/1518.64 c #Conflicts: 484000 | #Constraints: 24145
1513.22/1518.64 c #Conflicts: 485000 | #Constraints: 25145
1513.22/1518.64 c #Conflicts: 486000 | #Constraints: 26145
1513.22/1518.64 c #Conflicts: 487000 | #Constraints: 27145
1513.22/1518.64 c #Conflicts: 488000 | #Constraints: 28145
1513.22/1518.64 c INPROCESSING
1513.22/1518.64 c GARBAGE COLLECT
1513.22/1518.64 c #Conflicts: 489000 | #Constraints: 15345
1513.22/1518.64 c #Conflicts: 490000 | #Constraints: 16345
1513.22/1518.64 c #Conflicts: 491000 | #Constraints: 17345
1513.22/1518.64 c #Conflicts: 492000 | #Constraints: 18345
1513.22/1518.64 c #Conflicts: 493000 | #Constraints: 19345
1513.22/1518.64 c #Conflicts: 494000 | #Constraints: 20345
1513.22/1518.64 c #Conflicts: 495000 | #Constraints: 21345
1513.22/1518.64 c #Conflicts: 496000 | #Constraints: 22345
1513.22/1518.64 c #Conflicts: 497000 | #Constraints: 23345
1513.22/1518.64 c #Conflicts: 498000 | #Constraints: 24345
1513.22/1518.64 c #Conflicts: 499000 | #Constraints: 25345
1513.22/1518.64 c #Conflicts: 500000 | #Constraints: 26345
1513.22/1518.64 c #Conflicts: 501000 | #Constraints: 27345
1513.22/1518.64 c #Conflicts: 502000 | #Constraints: 28345
1513.22/1518.64 c INPROCESSING
1513.22/1518.64 c GARBAGE COLLECT
1513.22/1518.64 c #Conflicts: 503000 | #Constraints: 15343
1513.22/1518.64 c #Conflicts: 504000 | #Constraints: 16343
1513.22/1518.64 c #Conflicts: 505000 | #Constraints: 17343
1513.22/1518.64 c #Conflicts: 506000 | #Constraints: 18343
1513.22/1518.64 c #Conflicts: 507000 | #Constraints: 19343
1513.22/1518.64 c #Conflicts: 508000 | #Constraints: 20343
1513.22/1518.64 c #Conflicts: 509000 | #Constraints: 21343
1513.22/1518.64 c #Conflicts: 510000 | #Constraints: 22343
1513.22/1518.64 c #Conflicts: 511000 | #Constraints: 23343
1513.22/1518.64 c #Conflicts: 512000 | #Constraints: 24343
1513.22/1518.64 c #Conflicts: 513000 | #Constraints: 25343
1513.22/1518.64 c #Conflicts: 514000 | #Constraints: 26343
1513.22/1518.64 c #Conflicts: 515000 | #Constraints: 27343
1513.22/1518.64 c #Conflicts: 516000 | #Constraints: 28343
1513.22/1518.64 c INPROCESSING
1513.22/1518.64 c GARBAGE COLLECT
1513.22/1518.64 c #Conflicts: 517000 | #Constraints: 15139
1513.22/1518.64 c #Conflicts: 518000 | #Constraints: 16139
1513.22/1518.64 c #Conflicts: 519000 | #Constraints: 17139
1513.22/1518.64 c #Conflicts: 520000 | #Constraints: 18139
1513.22/1518.64 c #Conflicts: 521000 | #Constraints: 19139
1513.22/1518.64 c #Conflicts: 522000 | #Constraints: 20139
1513.22/1518.64 c #Conflicts: 523000 | #Constraints: 21139
1513.22/1518.64 c #Conflicts: 524000 | #Constraints: 22139
1513.22/1518.64 c #Conflicts: 525000 | #Constraints: 23139
1513.22/1518.64 c #Conflicts: 526000 | #Constraints: 24139
1513.22/1518.64 c #Conflicts: 527000 | #Constraints: 25139
1513.22/1518.64 c #Conflicts: 528000 | #Constraints: 26139
1513.22/1518.64 c #Conflicts: 529000 | #Constraints: 27139
1513.22/1518.64 c #Conflicts: 530000 | #Constraints: 28139
1513.22/1518.64 c #Conflicts: 531000 | #Constraints: 29139
1513.22/1518.64 c INPROCESSING
1513.22/1518.64 c GARBAGE COLLECT
1513.22/1518.64 c #Conflicts: 532000 | #Constraints: 15742
1513.22/1518.64 c #Conflicts: 533000 | #Constraints: 16742
1513.22/1518.64 c #Conflicts: 534000 | #Constraints: 17742
1513.22/1518.64 c #Conflicts: 535000 | #Constraints: 18742
1513.22/1518.64 c #Conflicts: 536000 | #Constraints: 19742
1513.22/1518.64 c #Conflicts: 537000 | #Constraints: 20742
1513.22/1518.64 c #Conflicts: 538000 | #Constraints: 21742
1513.22/1518.64 c #Conflicts: 539000 | #Constraints: 22742
1513.22/1518.64 c #Conflicts: 540000 | #Constraints: 23742
1513.22/1518.64 c #Conflicts: 541000 | #Constraints: 24742
1513.22/1518.64 c #Conflicts: 542000 | #Constraints: 25742
1513.22/1518.64 c #Conflicts: 543000 | #Constraints: 26742
1513.22/1518.64 c #Conflicts: 544000 | #Constraints: 27742
1513.22/1518.64 c #Conflicts: 545000 | #Constraints: 28742
1513.22/1518.64 c #Conflicts: 546000 | #Constraints: 29742
1770.90/1777.21 c INPROCESSING
1770.90/1777.21 c GARBAGE COLLECT
1770.90/1777.21 c #Conflicts: 547000 | #Constraints: 16142
1770.90/1777.21 c #Conflicts: 548000 | #Constraints: 17142
1770.90/1777.21 c #Conflicts: 549000 | #Constraints: 18142
1770.90/1777.21 c #Conflicts: 550000 | #Constraints: 19142
1770.90/1777.21 c #Conflicts: 551000 | #Constraints: 20142
1770.90/1777.21 c #Conflicts: 552000 | #Constraints: 21142
1770.90/1777.21 c #Conflicts: 553000 | #Constraints: 22142
1770.90/1777.21 c #Conflicts: 554000 | #Constraints: 23142
1770.90/1777.21 c #Conflicts: 555000 | #Constraints: 24142
1770.90/1777.21 c #Conflicts: 556000 | #Constraints: 25142
1770.90/1777.21 c #Conflicts: 557000 | #Constraints: 26142
1770.90/1777.21 c #Conflicts: 558000 | #Constraints: 27142
1770.90/1777.21 c #Conflicts: 559000 | #Constraints: 28142
1770.90/1777.21 c #Conflicts: 560000 | #Constraints: 29142
1770.90/1777.21 c #Conflicts: 561000 | #Constraints: 30142
1770.90/1777.21 c INPROCESSING
1770.90/1777.21 c GARBAGE COLLECT
1770.90/1777.21 c #Conflicts: 562000 | #Constraints: 16342
1770.90/1777.21 c #Conflicts: 563000 | #Constraints: 17342
1770.90/1777.21 c #Conflicts: 564000 | #Constraints: 18342
1770.90/1777.21 c #Conflicts: 565000 | #Constraints: 19342
1770.90/1777.21 c #Conflicts: 566000 | #Constraints: 20342
1770.90/1777.21 c #Conflicts: 567000 | #Constraints: 21342
1770.90/1777.21 c #Conflicts: 568000 | #Constraints: 22342
1770.90/1777.21 c #Conflicts: 569000 | #Constraints: 23342
1770.90/1777.21 c #Conflicts: 570000 | #Constraints: 24342
1770.90/1777.21 c #Conflicts: 571000 | #Constraints: 25342
1770.90/1777.21 c #Conflicts: 572000 | #Constraints: 26342
1770.90/1777.21 c #Conflicts: 573000 | #Constraints: 27342
1770.90/1777.21 c #Conflicts: 574000 | #Constraints: 28342
1770.90/1777.21 c #Conflicts: 575000 | #Constraints: 29342
1770.90/1777.21 c #Conflicts: 576000 | #Constraints: 30342
1770.90/1777.21 c INPROCESSING
1770.90/1777.21 c GARBAGE COLLECT
1770.90/1777.21 c #Conflicts: 577000 | #Constraints: 16342
1770.90/1777.21 c #Conflicts: 578000 | #Constraints: 17342
1770.90/1777.21 c #Conflicts: 579000 | #Constraints: 18342
1770.90/1777.21 c #Conflicts: 580000 | #Constraints: 19342
1770.90/1777.21 c #Conflicts: 581000 | #Constraints: 20342
1770.90/1777.21 c #Conflicts: 582000 | #Constraints: 21342
1770.90/1777.21 c #Conflicts: 583000 | #Constraints: 22342
1770.90/1777.21 c #Conflicts: 584000 | #Constraints: 23342
1770.90/1777.21 c #Conflicts: 585000 | #Constraints: 24342
1770.90/1777.21 c #Conflicts: 586000 | #Constraints: 25342
1770.90/1777.21 c #Conflicts: 587000 | #Constraints: 26342
1770.90/1777.21 c #Conflicts: 588000 | #Constraints: 27342
1770.90/1777.21 c #Conflicts: 589000 | #Constraints: 28342
1770.90/1777.21 c #Conflicts: 590000 | #Constraints: 29342
1770.90/1777.21 c #Conflicts: 591000 | #Constraints: 30342
1770.90/1777.21 c INPROCESSING
1770.90/1777.21 c GARBAGE COLLECT
1770.90/1777.21 c #Conflicts: 592000 | #Constraints: 16141
1770.90/1777.21 c #Conflicts: 593000 | #Constraints: 17141
1770.90/1777.21 c #Conflicts: 594000 | #Constraints: 18141
1770.90/1777.21 c #Conflicts: 595000 | #Constraints: 19141
1770.90/1777.21 c #Conflicts: 596000 | #Constraints: 20141
1770.90/1777.21 c #Conflicts: 597000 | #Constraints: 21141
1770.90/1777.21 c #Conflicts: 598000 | #Constraints: 22141
1770.90/1777.21 c #Conflicts: 599000 | #Constraints: 23141
1770.90/1777.21 c #Conflicts: 600000 | #Constraints: 24141
1770.90/1777.21 c #Conflicts: 601000 | #Constraints: 25141
1770.90/1777.21 c #Conflicts: 602000 | #Constraints: 26141
1770.90/1777.21 c #Conflicts: 603000 | #Constraints: 27141
1770.90/1777.21 c #Conflicts: 604000 | #Constraints: 28141
1770.90/1777.21 c #Conflicts: 605000 | #Constraints: 29141
1770.90/1777.21 c #Conflicts: 606000 | #Constraints: 30141
1770.90/1777.21 c #Conflicts: 607000 | #Constraints: 31141
1770.90/1777.21 c INPROCESSING
1770.90/1777.21 c GARBAGE COLLECT
1770.90/1777.21 c #Conflicts: 608000 | #Constraints: 16752
1770.90/1777.21 c #Conflicts: 609000 | #Constraints: 17752
1770.90/1777.21 c #Conflicts: 610000 | #Constraints: 18752
1770.90/1777.21 c #Conflicts: 611000 | #Constraints: 19752
1770.90/1777.21 c #Conflicts: 612000 | #Constraints: 20752
1770.90/1777.21 c #Conflicts: 613000 | #Constraints: 21752
1770.90/1777.21 c #Conflicts: 614000 | #Constraints: 22752
1770.90/1777.21 c #Conflicts: 615000 | #Constraints: 23752
1770.90/1777.21 c #Conflicts: 616000 | #Constraints: 24752
1770.90/1777.21 c #Conflicts: 617000 | #Constraints: 25752
1770.90/1777.21 c #Conflicts: 618000 | #Constraints: 26752
1770.90/1777.21 c #Conflicts: 619000 | #Constraints: 27752
1770.90/1777.21 c #Conflicts: 620000 | #Constraints: 28752
1770.90/1777.21 c #Conflicts: 621000 | #Constraints: 29752
1770.90/1777.21 c #Conflicts: 622000 | #Constraints: 30752
2023.00/2030.36 c #Conflicts: 623000 | #Constraints: 31752
2023.00/2030.36 c INPROCESSING
2023.00/2030.36 c GARBAGE COLLECT
2023.00/2030.36 c #Conflicts: 624000 | #Constraints: 17146
2023.00/2030.36 c #Conflicts: 625000 | #Constraints: 18146
2023.00/2030.36 c #Conflicts: 626000 | #Constraints: 19146
2023.00/2030.36 c #Conflicts: 627000 | #Constraints: 20146
2023.00/2030.36 c #Conflicts: 628000 | #Constraints: 21146
2023.00/2030.36 c #Conflicts: 629000 | #Constraints: 22146
2023.00/2030.36 c #Conflicts: 630000 | #Constraints: 23146
2023.00/2030.36 c #Conflicts: 631000 | #Constraints: 24146
2023.00/2030.36 c #Conflicts: 632000 | #Constraints: 25146
2023.00/2030.36 c #Conflicts: 633000 | #Constraints: 26146
2023.00/2030.36 c #Conflicts: 634000 | #Constraints: 27146
2023.00/2030.36 c #Conflicts: 635000 | #Constraints: 28146
2023.00/2030.36 c #Conflicts: 636000 | #Constraints: 29146
2023.00/2030.36 c #Conflicts: 637000 | #Constraints: 30146
2023.00/2030.36 c #Conflicts: 638000 | #Constraints: 31146
2023.00/2030.36 c #Conflicts: 639000 | #Constraints: 32146
2023.00/2030.36 c INPROCESSING
2023.00/2030.36 c GARBAGE COLLECT
2023.00/2030.36 c #Conflicts: 640000 | #Constraints: 17342
2023.00/2030.36 c #Conflicts: 641000 | #Constraints: 18342
2023.00/2030.36 c #Conflicts: 642000 | #Constraints: 19342
2023.00/2030.36 c #Conflicts: 643000 | #Constraints: 20342
2023.00/2030.36 c #Conflicts: 644000 | #Constraints: 21342
2023.00/2030.36 c #Conflicts: 645000 | #Constraints: 22342
2023.00/2030.36 c #Conflicts: 646000 | #Constraints: 23342
2023.00/2030.36 c #Conflicts: 647000 | #Constraints: 24342
2023.00/2030.36 c #Conflicts: 648000 | #Constraints: 25342
2023.00/2030.36 c #Conflicts: 649000 | #Constraints: 26342
2023.00/2030.36 c #Conflicts: 650000 | #Constraints: 27342
2023.00/2030.36 c #Conflicts: 651000 | #Constraints: 28342
2023.00/2030.36 c #Conflicts: 652000 | #Constraints: 29342
2023.00/2030.36 c #Conflicts: 653000 | #Constraints: 30342
2023.00/2030.36 c #Conflicts: 654000 | #Constraints: 31342
2023.00/2030.36 c #Conflicts: 655000 | #Constraints: 32342
2023.00/2030.36 c INPROCESSING
2023.00/2030.36 c GARBAGE COLLECT
2023.00/2030.36 c #Conflicts: 656000 | #Constraints: 17341
2023.00/2030.36 c #Conflicts: 657000 | #Constraints: 18341
2023.00/2030.36 c #Conflicts: 658000 | #Constraints: 19341
2023.00/2030.36 c #Conflicts: 659000 | #Constraints: 20341
2023.00/2030.36 c #Conflicts: 660000 | #Constraints: 21341
2023.00/2030.36 c #Conflicts: 661000 | #Constraints: 22341
2023.00/2030.36 c #Conflicts: 662000 | #Constraints: 23341
2023.00/2030.36 c #Conflicts: 663000 | #Constraints: 24341
2023.00/2030.36 c #Conflicts: 664000 | #Constraints: 25341
2023.00/2030.36 c #Conflicts: 665000 | #Constraints: 26341
2023.00/2030.36 c #Conflicts: 666000 | #Constraints: 27341
2023.00/2030.36 c #Conflicts: 667000 | #Constraints: 28341
2023.00/2030.36 c #Conflicts: 668000 | #Constraints: 29341
2023.00/2030.36 c #Conflicts: 669000 | #Constraints: 30341
2023.00/2030.36 c #Conflicts: 670000 | #Constraints: 31341
2023.00/2030.36 c #Conflicts: 671000 | #Constraints: 32341
2023.00/2030.36 c INPROCESSING
2023.00/2030.36 c GARBAGE COLLECT
2023.00/2030.36 c #Conflicts: 672000 | #Constraints: 17136
2023.00/2030.36 c #Conflicts: 673000 | #Constraints: 18136
2023.00/2030.36 c #Conflicts: 674000 | #Constraints: 19136
2023.00/2030.36 c #Conflicts: 675000 | #Constraints: 20136
2023.00/2030.36 c #Conflicts: 676000 | #Constraints: 21136
2023.00/2030.36 c #Conflicts: 677000 | #Constraints: 22136
2023.00/2030.36 c #Conflicts: 678000 | #Constraints: 23136
2023.00/2030.36 c #Conflicts: 679000 | #Constraints: 24136
2023.00/2030.36 c #Conflicts: 680000 | #Constraints: 25136
2023.00/2030.36 c #Conflicts: 681000 | #Constraints: 26136
2023.00/2030.36 c #Conflicts: 682000 | #Constraints: 27136
2023.00/2030.36 c #Conflicts: 683000 | #Constraints: 28136
2023.00/2030.36 c #Conflicts: 684000 | #Constraints: 29136
2023.00/2030.36 c #Conflicts: 685000 | #Constraints: 30136
2023.00/2030.36 c #Conflicts: 686000 | #Constraints: 31136
2023.00/2030.36 c #Conflicts: 687000 | #Constraints: 32136
2023.00/2030.36 c #Conflicts: 688000 | #Constraints: 33136
2023.00/2030.36 c INPROCESSING
2023.00/2030.36 c GARBAGE COLLECT
2023.00/2030.36 c #Conflicts: 689000 | #Constraints: 17738
2023.00/2030.36 c #Conflicts: 690000 | #Constraints: 18738
2023.00/2030.36 c #Conflicts: 691000 | #Constraints: 19738
2023.00/2030.36 c #Conflicts: 692000 | #Constraints: 20738
2023.00/2030.36 c #Conflicts: 693000 | #Constraints: 21738
2023.00/2030.36 c #Conflicts: 694000 | #Constraints: 22738
2023.00/2030.36 c #Conflicts: 695000 | #Constraints: 23738
2023.00/2030.36 c #Conflicts: 696000 | #Constraints: 24738
2023.00/2030.36 c #Conflicts: 697000 | #Constraints: 25738
2023.00/2030.36 c #Conflicts: 698000 | #Constraints: 26738
2298.81/2307.20 c #Conflicts: 699000 | #Constraints: 27738
2298.81/2307.20 c #Conflicts: 700000 | #Constraints: 28738
2298.81/2307.20 c #Conflicts: 701000 | #Constraints: 29738
2298.81/2307.20 c #Conflicts: 702000 | #Constraints: 30738
2298.81/2307.20 c #Conflicts: 703000 | #Constraints: 31738
2298.81/2307.20 c #Conflicts: 704000 | #Constraints: 32738
2298.81/2307.20 c #Conflicts: 705000 | #Constraints: 33738
2298.81/2307.20 c INPROCESSING
2298.81/2307.20 c GARBAGE COLLECT
2298.81/2307.20 c #Conflicts: 706000 | #Constraints: 18143
2298.81/2307.20 c #Conflicts: 707000 | #Constraints: 19143
2298.81/2307.20 c #Conflicts: 708000 | #Constraints: 20143
2298.81/2307.20 c #Conflicts: 709000 | #Constraints: 21143
2298.81/2307.20 c #Conflicts: 710000 | #Constraints: 22143
2298.81/2307.20 c #Conflicts: 711000 | #Constraints: 23143
2298.81/2307.20 c #Conflicts: 712000 | #Constraints: 24143
2298.81/2307.20 c #Conflicts: 713000 | #Constraints: 25143
2298.81/2307.20 c #Conflicts: 714000 | #Constraints: 26143
2298.81/2307.20 c #Conflicts: 715000 | #Constraints: 27143
2298.81/2307.20 c #Conflicts: 716000 | #Constraints: 28143
2298.81/2307.20 c #Conflicts: 717000 | #Constraints: 29143
2298.81/2307.20 c #Conflicts: 718000 | #Constraints: 30143
2298.81/2307.20 c #Conflicts: 719000 | #Constraints: 31143
2298.81/2307.20 c #Conflicts: 720000 | #Constraints: 32143
2298.81/2307.20 c #Conflicts: 721000 | #Constraints: 33143
2298.81/2307.20 c #Conflicts: 722000 | #Constraints: 34143
2298.81/2307.20 c INPROCESSING
2298.81/2307.20 c GARBAGE COLLECT
2298.81/2307.20 c #Conflicts: 723000 | #Constraints: 18347
2298.81/2307.20 c #Conflicts: 724000 | #Constraints: 19347
2298.81/2307.20 c #Conflicts: 725000 | #Constraints: 20347
2298.81/2307.20 c #Conflicts: 726000 | #Constraints: 21347
2298.81/2307.20 c #Conflicts: 727000 | #Constraints: 22347
2298.81/2307.20 c #Conflicts: 728000 | #Constraints: 23347
2298.81/2307.20 c #Conflicts: 729000 | #Constraints: 24347
2298.81/2307.20 c #Conflicts: 730000 | #Constraints: 25347
2298.81/2307.20 c #Conflicts: 731000 | #Constraints: 26347
2298.81/2307.20 c #Conflicts: 732000 | #Constraints: 27347
2298.81/2307.20 c #Conflicts: 733000 | #Constraints: 28347
2298.81/2307.20 c #Conflicts: 734000 | #Constraints: 29347
2298.81/2307.20 c #Conflicts: 735000 | #Constraints: 30347
2298.81/2307.20 c #Conflicts: 736000 | #Constraints: 31347
2298.81/2307.20 c #Conflicts: 737000 | #Constraints: 32347
2298.81/2307.20 c #Conflicts: 738000 | #Constraints: 33347
2298.81/2307.20 c #Conflicts: 739000 | #Constraints: 34347
2298.81/2307.20 c INPROCESSING
2298.81/2307.20 c GARBAGE COLLECT
2298.81/2307.20 c #Conflicts: 740000 | #Constraints: 18347
2298.81/2307.20 c #Conflicts: 741000 | #Constraints: 19347
2298.81/2307.20 c #Conflicts: 742000 | #Constraints: 20347
2298.81/2307.20 c #Conflicts: 743000 | #Constraints: 21347
2298.81/2307.20 c #Conflicts: 744000 | #Constraints: 22347
2298.81/2307.20 c #Conflicts: 745000 | #Constraints: 23347
2298.81/2307.20 c #Conflicts: 746000 | #Constraints: 24347
2298.81/2307.20 c #Conflicts: 747000 | #Constraints: 25347
2298.81/2307.20 c #Conflicts: 748000 | #Constraints: 26347
2298.81/2307.20 c #Conflicts: 749000 | #Constraints: 27347
2298.81/2307.20 c #Conflicts: 750000 | #Constraints: 28347
2298.81/2307.20 c #Conflicts: 751000 | #Constraints: 29347
2298.81/2307.20 c #Conflicts: 752000 | #Constraints: 30347
2298.81/2307.20 c #Conflicts: 753000 | #Constraints: 31347
2298.81/2307.20 c #Conflicts: 754000 | #Constraints: 32347
2298.81/2307.20 c #Conflicts: 755000 | #Constraints: 33347
2298.81/2307.20 c #Conflicts: 756000 | #Constraints: 34347
2298.81/2307.20 c INPROCESSING
2298.81/2307.20 c GARBAGE COLLECT
2298.81/2307.20 c #Conflicts: 757000 | #Constraints: 18147
2298.81/2307.20 c #Conflicts: 758000 | #Constraints: 19147
2298.81/2307.20 c #Conflicts: 759000 | #Constraints: 20147
2298.81/2307.20 c #Conflicts: 760000 | #Constraints: 21147
2298.81/2307.20 c #Conflicts: 761000 | #Constraints: 22147
2298.81/2307.20 c #Conflicts: 762000 | #Constraints: 23147
2298.81/2307.20 c #Conflicts: 763000 | #Constraints: 24147
2298.81/2307.20 c #Conflicts: 764000 | #Constraints: 25147
2298.81/2307.20 c #Conflicts: 765000 | #Constraints: 26147
2298.81/2307.20 c #Conflicts: 766000 | #Constraints: 27147
2298.81/2307.20 c #Conflicts: 767000 | #Constraints: 28147
2298.81/2307.20 c #Conflicts: 768000 | #Constraints: 29147
2298.81/2307.20 c #Conflicts: 769000 | #Constraints: 30147
2298.81/2307.20 c #Conflicts: 770000 | #Constraints: 31147
2298.81/2307.20 c #Conflicts: 771000 | #Constraints: 32147
2298.81/2307.20 c #Conflicts: 772000 | #Constraints: 33147
2298.81/2307.20 c #Conflicts: 773000 | #Constraints: 34147
2298.81/2307.20 c #Conflicts: 774000 | #Constraints: 35147
2568.04/2577.58 c INPROCESSING
2568.04/2577.58 c GARBAGE COLLECT
2568.04/2577.58 c #Conflicts: 775000 | #Constraints: 18745
2568.04/2577.58 c #Conflicts: 776000 | #Constraints: 19745
2568.04/2577.58 c #Conflicts: 777000 | #Constraints: 20745
2568.04/2577.58 c #Conflicts: 778000 | #Constraints: 21745
2568.04/2577.58 c #Conflicts: 779000 | #Constraints: 22745
2568.04/2577.58 c #Conflicts: 780000 | #Constraints: 23745
2568.04/2577.58 c #Conflicts: 781000 | #Constraints: 24745
2568.04/2577.58 c #Conflicts: 782000 | #Constraints: 25745
2568.04/2577.58 c #Conflicts: 783000 | #Constraints: 26745
2568.04/2577.58 c #Conflicts: 784000 | #Constraints: 27745
2568.04/2577.58 c #Conflicts: 785000 | #Constraints: 28745
2568.04/2577.58 c #Conflicts: 786000 | #Constraints: 29745
2568.04/2577.58 c #Conflicts: 787000 | #Constraints: 30745
2568.04/2577.58 c #Conflicts: 788000 | #Constraints: 31745
2568.04/2577.58 c #Conflicts: 789000 | #Constraints: 32745
2568.04/2577.58 c #Conflicts: 790000 | #Constraints: 33745
2568.04/2577.58 c #Conflicts: 791000 | #Constraints: 34745
2568.04/2577.58 c #Conflicts: 792000 | #Constraints: 35745
2568.04/2577.58 c INPROCESSING
2568.04/2577.58 c GARBAGE COLLECT
2568.04/2577.58 c #Conflicts: 793000 | #Constraints: 19143
2568.04/2577.58 c #Conflicts: 794000 | #Constraints: 20143
2568.04/2577.58 c #Conflicts: 795000 | #Constraints: 21143
2568.04/2577.58 c #Conflicts: 796000 | #Constraints: 22143
2568.04/2577.58 c #Conflicts: 797000 | #Constraints: 23143
2568.04/2577.58 c #Conflicts: 798000 | #Constraints: 24143
2568.04/2577.58 c #Conflicts: 799000 | #Constraints: 25143
2568.04/2577.58 c #Conflicts: 800000 | #Constraints: 26143
2568.04/2577.58 c #Conflicts: 801000 | #Constraints: 27143
2568.04/2577.58 c #Conflicts: 802000 | #Constraints: 28143
2568.04/2577.58 c #Conflicts: 803000 | #Constraints: 29143
2568.04/2577.58 c #Conflicts: 804000 | #Constraints: 30143
2568.04/2577.58 c #Conflicts: 805000 | #Constraints: 31143
2568.04/2577.58 c #Conflicts: 806000 | #Constraints: 32143
2568.04/2577.58 c #Conflicts: 807000 | #Constraints: 33143
2568.04/2577.58 c #Conflicts: 808000 | #Constraints: 34143
2568.04/2577.58 c #Conflicts: 809000 | #Constraints: 35143
2568.04/2577.58 c #Conflicts: 810000 | #Constraints: 36143
2568.04/2577.58 c INPROCESSING
2568.04/2577.58 c GARBAGE COLLECT
2568.04/2577.58 c #Conflicts: 811000 | #Constraints: 19342
2568.04/2577.58 c #Conflicts: 812000 | #Constraints: 20342
2568.04/2577.58 c #Conflicts: 813000 | #Constraints: 21342
2568.04/2577.58 c #Conflicts: 814000 | #Constraints: 22342
2568.04/2577.58 c #Conflicts: 815000 | #Constraints: 23342
2568.04/2577.58 c #Conflicts: 816000 | #Constraints: 24342
2568.04/2577.58 c #Conflicts: 817000 | #Constraints: 25342
2568.04/2577.58 c #Conflicts: 818000 | #Constraints: 26342
2568.04/2577.58 c #Conflicts: 819000 | #Constraints: 27342
2568.04/2577.58 c #Conflicts: 820000 | #Constraints: 28342
2568.04/2577.58 c #Conflicts: 821000 | #Constraints: 29342
2568.04/2577.58 c #Conflicts: 822000 | #Constraints: 30342
2568.04/2577.58 c #Conflicts: 823000 | #Constraints: 31342
2568.04/2577.58 c #Conflicts: 824000 | #Constraints: 32342
2568.04/2577.58 c #Conflicts: 825000 | #Constraints: 33342
2568.04/2577.58 c #Conflicts: 826000 | #Constraints: 34342
2568.04/2577.58 c #Conflicts: 827000 | #Constraints: 35342
2568.04/2577.58 c #Conflicts: 828000 | #Constraints: 36342
2568.04/2577.58 c INPROCESSING
2568.04/2577.58 c GARBAGE COLLECT
2568.04/2577.58 c #Conflicts: 829000 | #Constraints: 19348
2568.04/2577.58 c #Conflicts: 830000 | #Constraints: 20348
2568.04/2577.58 c #Conflicts: 831000 | #Constraints: 21348
2568.04/2577.58 c #Conflicts: 832000 | #Constraints: 22348
2568.04/2577.58 c #Conflicts: 833000 | #Constraints: 23348
2568.04/2577.58 c #Conflicts: 834000 | #Constraints: 24348
2568.04/2577.58 c #Conflicts: 835000 | #Constraints: 25348
2568.04/2577.58 c #Conflicts: 836000 | #Constraints: 26348
2568.04/2577.58 c #Conflicts: 837000 | #Constraints: 27348
2568.04/2577.58 c #Conflicts: 838000 | #Constraints: 28348
2568.04/2577.58 c #Conflicts: 839000 | #Constraints: 29348
2568.04/2577.58 c #Conflicts: 840000 | #Constraints: 30348
2568.04/2577.58 c #Conflicts: 841000 | #Constraints: 31348
2568.04/2577.58 c #Conflicts: 842000 | #Constraints: 32348
2568.04/2577.58 c #Conflicts: 843000 | #Constraints: 33348
2568.04/2577.58 c #Conflicts: 844000 | #Constraints: 34348
2568.04/2577.58 c #Conflicts: 845000 | #Constraints: 35348
2568.04/2577.58 c #Conflicts: 846000 | #Constraints: 36348
2568.04/2577.58 c INPROCESSING
2568.04/2577.58 c GARBAGE COLLECT
2568.04/2577.58 c #Conflicts: 847000 | #Constraints: 19146
2568.04/2577.58 c #Conflicts: 848000 | #Constraints: 20146
2568.04/2577.58 c #Conflicts: 849000 | #Constraints: 21146
2902.89/2913.70 c #Conflicts: 850000 | #Constraints: 22146
2902.89/2913.70 c #Conflicts: 851000 | #Constraints: 23146
2902.89/2913.70 c #Conflicts: 852000 | #Constraints: 24146
2902.89/2913.70 c #Conflicts: 853000 | #Constraints: 25146
2902.89/2913.70 c #Conflicts: 854000 | #Constraints: 26146
2902.89/2913.70 c #Conflicts: 855000 | #Constraints: 27146
2902.89/2913.70 c #Conflicts: 856000 | #Constraints: 28146
2902.89/2913.70 c #Conflicts: 857000 | #Constraints: 29146
2902.89/2913.70 c #Conflicts: 858000 | #Constraints: 30146
2902.89/2913.70 c #Conflicts: 859000 | #Constraints: 31146
2902.89/2913.70 c #Conflicts: 860000 | #Constraints: 32146
2902.89/2913.70 c #Conflicts: 861000 | #Constraints: 33146
2902.89/2913.70 c #Conflicts: 862000 | #Constraints: 34146
2902.89/2913.70 c #Conflicts: 863000 | #Constraints: 35146
2902.89/2913.70 c #Conflicts: 864000 | #Constraints: 36146
2902.89/2913.70 c #Conflicts: 865000 | #Constraints: 37146
2902.89/2913.70 c INPROCESSING
2902.89/2913.70 c GARBAGE COLLECT
2902.89/2913.70 c #Conflicts: 866000 | #Constraints: 19746
2902.89/2913.70 c #Conflicts: 867000 | #Constraints: 20746
2902.89/2913.70 c #Conflicts: 868000 | #Constraints: 21746
2902.89/2913.70 c #Conflicts: 869000 | #Constraints: 22746
2902.89/2913.70 c #Conflicts: 870000 | #Constraints: 23746
2902.89/2913.70 c #Conflicts: 871000 | #Constraints: 24746
2902.89/2913.70 c #Conflicts: 872000 | #Constraints: 25746
2902.89/2913.70 c #Conflicts: 873000 | #Constraints: 26746
2902.89/2913.70 c #Conflicts: 874000 | #Constraints: 27746
2902.89/2913.70 c #Conflicts: 875000 | #Constraints: 28746
2902.89/2913.70 c #Conflicts: 876000 | #Constraints: 29746
2902.89/2913.70 c #Conflicts: 877000 | #Constraints: 30746
2902.89/2913.70 c #Conflicts: 878000 | #Constraints: 31746
2902.89/2913.70 c #Conflicts: 879000 | #Constraints: 32746
2902.89/2913.70 c #Conflicts: 880000 | #Constraints: 33746
2902.89/2913.70 c #Conflicts: 881000 | #Constraints: 34746
2902.89/2913.70 c #Conflicts: 882000 | #Constraints: 35746
2902.89/2913.70 c #Conflicts: 883000 | #Constraints: 36746
2902.89/2913.70 c #Conflicts: 884000 | #Constraints: 37746
2902.89/2913.70 c INPROCESSING
2902.89/2913.70 c GARBAGE COLLECT
2902.89/2913.70 c #Conflicts: 885000 | #Constraints: 20138
2902.89/2913.70 c #Conflicts: 886000 | #Constraints: 21138
2902.89/2913.70 c #Conflicts: 887000 | #Constraints: 22138
2902.89/2913.70 c #Conflicts: 888000 | #Constraints: 23138
2902.89/2913.70 c #Conflicts: 889000 | #Constraints: 24138
2902.89/2913.70 c #Conflicts: 890000 | #Constraints: 25138
2902.89/2913.70 c #Conflicts: 891000 | #Constraints: 26138
2902.89/2913.70 c #Conflicts: 892000 | #Constraints: 27138
2902.89/2913.70 c #Conflicts: 893000 | #Constraints: 28138
2902.89/2913.70 c #Conflicts: 894000 | #Constraints: 29138
2902.89/2913.70 c #Conflicts: 895000 | #Constraints: 30138
2902.89/2913.70 c #Conflicts: 896000 | #Constraints: 31138
2902.89/2913.70 c #Conflicts: 897000 | #Constraints: 32138
2902.89/2913.70 c #Conflicts: 898000 | #Constraints: 33138
2902.89/2913.70 c #Conflicts: 899000 | #Constraints: 34138
2902.89/2913.70 c #Conflicts: 900000 | #Constraints: 35138
2902.89/2913.70 c #Conflicts: 901000 | #Constraints: 36138
2902.89/2913.70 c #Conflicts: 902000 | #Constraints: 37138
2902.89/2913.70 c #Conflicts: 903000 | #Constraints: 38138
2902.89/2913.70 c INPROCESSING
2902.89/2913.70 c GARBAGE COLLECT
2902.89/2913.70 c #Conflicts: 904000 | #Constraints: 20346
2902.89/2913.70 c #Conflicts: 905000 | #Constraints: 21346
2902.89/2913.70 c #Conflicts: 906000 | #Constraints: 22346
2902.89/2913.70 c #Conflicts: 907000 | #Constraints: 23346
2902.89/2913.70 c #Conflicts: 908000 | #Constraints: 24346
2902.89/2913.70 c #Conflicts: 909000 | #Constraints: 25346
2902.89/2913.70 c #Conflicts: 910000 | #Constraints: 26346
2902.89/2913.70 c #Conflicts: 911000 | #Constraints: 27346
2902.89/2913.70 c #Conflicts: 912000 | #Constraints: 28346
2902.89/2913.70 c #Conflicts: 913000 | #Constraints: 29346
2902.89/2913.70 c #Conflicts: 914000 | #Constraints: 30346
2902.89/2913.70 c #Conflicts: 915000 | #Constraints: 31346
2902.89/2913.70 c #Conflicts: 916000 | #Constraints: 32346
2902.89/2913.70 c #Conflicts: 917000 | #Constraints: 33346
2902.89/2913.70 c #Conflicts: 918000 | #Constraints: 34346
2902.89/2913.70 c #Conflicts: 919000 | #Constraints: 35346
2902.89/2913.70 c #Conflicts: 920000 | #Constraints: 36346
2902.89/2913.70 c #Conflicts: 921000 | #Constraints: 37346
2902.89/2913.70 c #Conflicts: 922000 | #Constraints: 38346
2902.89/2913.70 c INPROCESSING
2902.89/2913.70 c GARBAGE COLLECT
2902.89/2913.70 c #Conflicts: 923000 | #Constraints: 20346
2902.89/2913.70 c #Conflicts: 924000 | #Constraints: 21346
2902.89/2913.70 c #Conflicts: 925000 | #Constraints: 22346
2902.89/2913.70 c #Conflicts: 926000 | #Constraints: 23346
3264.64/3276.97 c #Conflicts: 927000 | #Constraints: 24346
3264.64/3276.97 c #Conflicts: 928000 | #Constraints: 25346
3264.64/3276.97 c #Conflicts: 929000 | #Constraints: 26346
3264.64/3276.97 c #Conflicts: 930000 | #Constraints: 27346
3264.64/3276.97 c #Conflicts: 931000 | #Constraints: 28346
3264.64/3276.97 c #Conflicts: 932000 | #Constraints: 29346
3264.64/3276.97 c #Conflicts: 933000 | #Constraints: 30346
3264.64/3276.97 c #Conflicts: 934000 | #Constraints: 31346
3264.64/3276.97 c #Conflicts: 935000 | #Constraints: 32346
3264.64/3276.97 c #Conflicts: 936000 | #Constraints: 33346
3264.64/3276.97 c #Conflicts: 937000 | #Constraints: 34346
3264.64/3276.97 c #Conflicts: 938000 | #Constraints: 35346
3264.64/3276.97 c #Conflicts: 939000 | #Constraints: 36346
3264.64/3276.97 c #Conflicts: 940000 | #Constraints: 37346
3264.64/3276.97 c #Conflicts: 941000 | #Constraints: 38346
3264.64/3276.97 c INPROCESSING
3264.64/3276.97 c GARBAGE COLLECT
3264.64/3276.97 c #Conflicts: 942000 | #Constraints: 20152
3264.64/3276.97 c #Conflicts: 943000 | #Constraints: 21152
3264.64/3276.97 c #Conflicts: 944000 | #Constraints: 22152
3264.64/3276.97 c #Conflicts: 945000 | #Constraints: 23152
3264.64/3276.97 c #Conflicts: 946000 | #Constraints: 24152
3264.64/3276.97 c #Conflicts: 947000 | #Constraints: 25152
3264.64/3276.97 c #Conflicts: 948000 | #Constraints: 26152
3264.64/3276.97 c #Conflicts: 949000 | #Constraints: 27152
3264.64/3276.97 c #Conflicts: 950000 | #Constraints: 28152
3264.64/3276.97 c #Conflicts: 951000 | #Constraints: 29152
3264.64/3276.97 c #Conflicts: 952000 | #Constraints: 30152
3264.64/3276.97 c #Conflicts: 953000 | #Constraints: 31152
3264.64/3276.97 c #Conflicts: 954000 | #Constraints: 32152
3264.64/3276.97 c #Conflicts: 955000 | #Constraints: 33152
3264.64/3276.97 c #Conflicts: 956000 | #Constraints: 34152
3264.64/3276.97 c #Conflicts: 957000 | #Constraints: 35152
3264.64/3276.97 c #Conflicts: 958000 | #Constraints: 36152
3264.64/3276.97 c #Conflicts: 959000 | #Constraints: 37152
3264.64/3276.97 c #Conflicts: 960000 | #Constraints: 38152
3264.64/3276.97 c #Conflicts: 961000 | #Constraints: 39152
3264.64/3276.97 c INPROCESSING
3264.64/3276.97 c GARBAGE COLLECT
3264.64/3276.97 c #Conflicts: 962000 | #Constraints: 20759
3264.64/3276.97 c #Conflicts: 963000 | #Constraints: 21759
3264.64/3276.97 c #Conflicts: 964000 | #Constraints: 22759
3264.64/3276.97 c #Conflicts: 965000 | #Constraints: 23759
3264.64/3276.97 c #Conflicts: 966000 | #Constraints: 24759
3264.64/3276.97 c #Conflicts: 967000 | #Constraints: 25759
3264.64/3276.97 c #Conflicts: 968000 | #Constraints: 26759
3264.64/3276.97 c #Conflicts: 969000 | #Constraints: 27759
3264.64/3276.97 c #Conflicts: 970000 | #Constraints: 28759
3264.64/3276.97 c #Conflicts: 971000 | #Constraints: 29759
3264.64/3276.97 c #Conflicts: 972000 | #Constraints: 30759
3264.64/3276.97 c #Conflicts: 973000 | #Constraints: 31759
3264.64/3276.97 c #Conflicts: 974000 | #Constraints: 32759
3264.64/3276.97 c #Conflicts: 975000 | #Constraints: 33759
3264.64/3276.97 c #Conflicts: 976000 | #Constraints: 34759
3264.64/3276.97 c #Conflicts: 977000 | #Constraints: 35759
3264.64/3276.97 c #Conflicts: 978000 | #Constraints: 36759
3264.64/3276.97 c #Conflicts: 979000 | #Constraints: 37759
3264.64/3276.97 c #Conflicts: 980000 | #Constraints: 38759
3264.64/3276.97 c #Conflicts: 981000 | #Constraints: 39759
3264.64/3276.97 c INPROCESSING
3264.64/3276.97 c GARBAGE COLLECT
3264.64/3276.97 c #Conflicts: 982000 | #Constraints: 21155
3264.64/3276.97 c #Conflicts: 983000 | #Constraints: 22155
3264.64/3276.97 c #Conflicts: 984000 | #Constraints: 23155
3264.64/3276.97 c #Conflicts: 985000 | #Constraints: 24155
3264.64/3276.97 c #Conflicts: 986000 | #Constraints: 25155
3264.64/3276.97 c #Conflicts: 987000 | #Constraints: 26155
3264.64/3276.97 c #Conflicts: 988000 | #Constraints: 27155
3264.64/3276.97 c #Conflicts: 989000 | #Constraints: 28155
3264.64/3276.97 c #Conflicts: 990000 | #Constraints: 29155
3264.64/3276.97 c #Conflicts: 991000 | #Constraints: 30155
3264.64/3276.97 c #Conflicts: 992000 | #Constraints: 31155
3264.64/3276.97 c #Conflicts: 993000 | #Constraints: 32155
3264.64/3276.97 c #Conflicts: 994000 | #Constraints: 33155
3264.64/3276.97 c #Conflicts: 995000 | #Constraints: 34155
3264.64/3276.97 c #Conflicts: 996000 | #Constraints: 35155
3264.64/3276.97 c #Conflicts: 997000 | #Constraints: 36155
3264.64/3276.97 c #Conflicts: 998000 | #Constraints: 37155
3264.64/3276.97 c #Conflicts: 999000 | #Constraints: 38155
3264.64/3276.97 c #Conflicts: 1000000 | #Constraints: 39155
3264.64/3276.97 c #Conflicts: 1001000 | #Constraints: 40155
3264.64/3276.97 c INPROCESSING
3264.64/3276.97 c GARBAGE COLLECT
3264.64/3276.97 c #Conflicts: 1002000 | #Constraints: 21353
3600.00/3613.60 c #Conflicts: 1003000 | #Constraints: 22353
3600.00/3613.60 c #Conflicts: 1004000 | #Constraints: 23353
3600.00/3613.60 c #Conflicts: 1005000 | #Constraints: 24353
3600.00/3613.60 c #Conflicts: 1006000 | #Constraints: 25353
3600.00/3613.60 c #Conflicts: 1007000 | #Constraints: 26353
3600.00/3613.60 c #Conflicts: 1008000 | #Constraints: 27353
3600.00/3613.60 c #Conflicts: 1009000 | #Constraints: 28353
3600.00/3613.60 c #Conflicts: 1010000 | #Constraints: 29353
3600.00/3613.60 c #Conflicts: 1011000 | #Constraints: 30353
3600.00/3613.60 c #Conflicts: 1012000 | #Constraints: 31353
3600.00/3613.60 c #Conflicts: 1013000 | #Constraints: 32353
3600.00/3613.60 c #Conflicts: 1014000 | #Constraints: 33353
3600.00/3613.60 c #Conflicts: 1015000 | #Constraints: 34353
3600.00/3613.60 c #Conflicts: 1016000 | #Constraints: 35353
3600.00/3613.60 c #Conflicts: 1017000 | #Constraints: 36353
3600.00/3613.60 c #Conflicts: 1018000 | #Constraints: 37353
3600.00/3613.60 c #Conflicts: 1019000 | #Constraints: 38353
3600.00/3613.60 c #Conflicts: 1020000 | #Constraints: 39353
3600.00/3613.60 c #Conflicts: 1021000 | #Constraints: 40353
3600.00/3613.60 c INPROCESSING
3600.00/3613.60 c GARBAGE COLLECT
3600.00/3613.60 c #Conflicts: 1022000 | #Constraints: 21357
3600.00/3613.60 c #Conflicts: 1023000 | #Constraints: 22357
3600.00/3613.60 c #Conflicts: 1024000 | #Constraints: 23357
3600.00/3613.60 c #Conflicts: 1025000 | #Constraints: 24357
3600.00/3613.60 c #Conflicts: 1026000 | #Constraints: 25357
3600.00/3613.60 c #Conflicts: 1027000 | #Constraints: 26357
3600.00/3613.60 c #Conflicts: 1028000 | #Constraints: 27357
3600.00/3613.60 c #Conflicts: 1029000 | #Constraints: 28357
3600.00/3613.60 c #Conflicts: 1030000 | #Constraints: 29357
3600.00/3613.60 c #Conflicts: 1031000 | #Constraints: 30357
3600.00/3613.60 c #Conflicts: 1032000 | #Constraints: 31357
3600.00/3613.60 c #Conflicts: 1033000 | #Constraints: 32357
3600.00/3613.60 c #Conflicts: 1034000 | #Constraints: 33357
3600.00/3613.60 c #Conflicts: 1035000 | #Constraints: 34357
3600.00/3613.60 c #Conflicts: 1036000 | #Constraints: 35357
3600.00/3613.60 c #Conflicts: 1037000 | #Constraints: 36357
3600.00/3613.60 c #Conflicts: 1038000 | #Constraints: 37357
3600.00/3613.60 c #Conflicts: 1039000 | #Constraints: 38357
3600.00/3613.60 c #Conflicts: 1040000 | #Constraints: 39357
3600.00/3613.60 c #Conflicts: 1041000 | #Constraints: 40357
3600.00/3613.60 c INPROCESSING
3600.00/3613.60 c GARBAGE COLLECT
3600.00/3613.60 c #Conflicts: 1042000 | #Constraints: 21153
3600.00/3613.60 c #Conflicts: 1043000 | #Constraints: 22153
3600.00/3613.60 c #Conflicts: 1044000 | #Constraints: 23153
3600.00/3613.60 c #Conflicts: 1045000 | #Constraints: 24153
3600.00/3613.60 c #Conflicts: 1046000 | #Constraints: 25153
3600.00/3613.60 c #Conflicts: 1047000 | #Constraints: 26153
3600.00/3613.60 c #Conflicts: 1048000 | #Constraints: 27153
3600.00/3613.60 c #Conflicts: 1049000 | #Constraints: 28153
3600.00/3613.60 c #Conflicts: 1050000 | #Constraints: 29153
3600.00/3613.60 c #Conflicts: 1051000 | #Constraints: 30153
3600.00/3613.60 c #Conflicts: 1052000 | #Constraints: 31153
3600.00/3613.60 c #Conflicts: 1053000 | #Constraints: 32153
3600.00/3613.60 c #Conflicts: 1054000 | #Constraints: 33153
3600.00/3613.60 c #Conflicts: 1055000 | #Constraints: 34153
3600.00/3613.60 c Program interrupted by user.
3600.00/3613.60 c cpu time 3588.29 s
3600.00/3613.60 c deterministic time 386572895338 3.87e+11
3600.00/3613.60 c optimization time 80.755 s
3600.00/3613.60 c total solve time 3208.59 s
3600.00/3613.60 c core-guided solve time 3208.59 s
3600.00/3613.60 c propagation time 2810.56 s
3600.00/3613.60 c conflict analysis time 408.839 s
3600.00/3613.60 c propagations 69117416
3600.00/3613.60 c resolve steps 5887270
3600.00/3613.60 c decisions 5595821
3600.00/3613.60 c conflicts 1055350
3600.00/3613.60 c restarts 2046
3600.00/3613.60 c inprocessing phases 93
3600.00/3613.60 c input clauses 47
3600.00/3613.60 c input cardinalities 84
3600.00/3613.60 c input general constraints 470
3600.00/3613.60 c input average constraint length 73.41
3600.00/3613.60 c input average constraint degree 34.89
3600.00/3613.60 c learned clauses 247546
3600.00/3613.60 c learned cardinalities 1214
3600.00/3613.60 c learned general constraints 806600
3600.00/3613.60 c learned average constraint length 296.14
3600.00/3613.60 c learned average constraint degree 437480.23
3600.00/3613.60 c watched constraints 646858
3600.00/3613.60 c counting constraints 160212
3600.00/3613.60 c gcd simplifications 200719
3600.00/3613.60 c detected cardinalities 980
3600.00/3613.60 c weakened non-implied lits 37776789
3600.00/3613.60 c weakened non-implying lits 123260
3600.00/3613.60 c original variables 473
3600.00/3613.60 c clausal propagations 1444928
3600.00/3613.60 c cardinality propagations 245926
3600.00/3613.60 c watched propagations 30147412
3600.00/3613.60 c counting propagations 36068879
3600.00/3613.60 c watch lookups 68362917018
3600.00/3613.60 c watch backjump lookups 65112333718
3600.00/3613.60 c watch checks 242098397417
3600.00/3613.60 c propagation checks 9751654279
3600.00/3613.60 c constraint additions 1097111416
3600.00/3613.60 c trail pops 75768252
3600.00/3613.60 c formula constraints 473
3600.00/3613.60 c learned constraints 1055360
3600.00/3613.60 c bound constraints 84
3600.00/3613.60 c core-guided constraints 44
3600.00/3613.60 c encountered formula constraints 3490931
3600.00/3613.60 c encountered learned constraints 3303391
3600.00/3613.60 c encountered bound constraints 124
3600.00/3613.60 c encountered core-guided constraints 148174
3600.00/3613.60 c LP total time 0 s
3600.00/3613.60 c LP solve time 0 s
3600.00/3613.60 c LP constraints added 0
3600.00/3613.60 c LP constraints removed 0
3600.00/3613.60 c LP pivots internal 0
3600.00/3613.60 c LP pivots root 0
3600.00/3613.60 c LP calls 0
3600.00/3613.60 c LP optimalities 0
3600.00/3613.60 c LP no pivot count 0
3600.00/3613.60 c LP infeasibilities 0
3600.00/3613.60 c LP valid Farkas constraints 0
3600.00/3613.60 c LP learned Farkas constraints 0
3600.00/3613.60 c LP basis resets 0
3600.00/3613.60 c LP cycling count 0
3600.00/3613.60 c LP singular count 0
3600.00/3613.60 c LP no primal count 0
3600.00/3613.60 c LP no farkas count 0
3600.00/3613.60 c LP other issue count 0
3600.00/3613.60 c LP Gomory cuts 0
3600.00/3613.60 c LP learned cuts 0
3600.00/3613.60 c LP deleted cuts 0
3600.00/3613.60 c LP encountered Gomory constraints 0
3600.00/3613.60 c LP encountered Farkas constraints 0
3600.00/3613.60 c LP encountered learned Farkas constraints 0
3600.00/3613.60 c CG auxiliary variables introduced 44
3600.00/3613.60 c CG solutions found 0
3600.00/3613.60 c CG cores constructed 83
3600.00/3613.60 c CG core cardinality constraints returned 0
3600.00/3613.60 c CG unit cores 0
3600.00/3613.60 c CG single cores 83
3600.00/3613.60 c CG blocks removed during cardinality reduction 0
3600.00/3613.60 c CG first core best 0
3600.00/3613.60 c CG decision core best 0
3600.00/3613.60 c CG core reduction tie 0
3600.00/3613.60 c CG core degree average 1.00
3600.00/3613.60 c CG core slack average 2.81
3600.00/3613.60 c CG exhausted 0
3600.00/3613.60 c CG exhaust time 0 s
3600.00/3613.60 c CG trimmed 1
3600.00/3613.60 c CG trim time 0.000427 s
3600.00/3613.60 c CG minimized 0
3600.00/3613.60 c CG minimize time 0 s
3600.00/3613.60 c CG am1 prop time 0.000181 s
3600.00/3613.60 c CG # am1s reformulated 44
3600.00/3613.60 c CG lower bound derived from am1s 44
3600.00/3613.60 c CG # clausal cores 17
3600.00/3613.60 c CG # cardinality cores 0
3600.00/3613.60 c CG # pb cores 66
3600.00/3613.60 c CG # pb reforms 0
3600.00/3613.60 c CG # cores discarded because of pb reform 0
3600.00/3613.60 d LOWERBOUND 127
3600.00/3613.60 d NCORES 83
3600.00/3613.60 d NPBCORES 66
3600.00/3613.60 d NPBREFORM 0
3600.00/3613.60 d NTRIMMED 1
3600.00/3613.60 d NEXHAUSTED 0
3600.00/3613.60 d NAM1S 44
3600.00/3613.60 d AM1LB 44
3600.00/3613.60 c [Papilo Statistics]
3600.00/3613.60 c prepro time 0.00146528s
3600.00/3613.60 c # tsx applied 17
3600.00/3613.60 c # tsx conflicts 0
3600.00/3613.60 c # bound changes 0
3600.00/3613.60 c # side changes 0
3600.00/3613.60 c # coef changes 39
3600.00/3613.60 c # rounds 3
3600.00/3613.60 c # deted vars 0
3600.00/3613.60 c # deted constrs 0
3600.00/3613.60 c # consecutive rounds of only bound changes 0
3600.00/3613.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61044 MiB free)
memory of node 1: 64510 MiB (58063 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454707-1721469600/watcher-4454707-1721469600 -o /tmp/evaluation-result-4454707-1721469600/solver-4454707-1721469600 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079548 --watchdog 3760 mixed-bag HOME/instance-4454707-1721469600.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1082649, runsolver pid=1082646
Current StackSize limit: 8192 KiB
[startup+0.100436 s]*
/proc/loadavg: 4.04 4.10 4.09 5/257 1082650
/proc/meminfo: memFree=121955336/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=93156 memory=26076 CPUtime=0.09 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 3009 0 0 0 9 0 0 0 20 0 1 0 199121831 95391744 6519 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 23289 6519 4013 3002 0 7038 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93156 KiB
Current children cumulated memory: 26076 KiB
[startup+0.205586 s]*
/proc/loadavg: 4.04 4.10 4.09 5/257 1082650
/proc/meminfo: memFree=121955168/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=93164 memory=26228 CPUtime=0.19 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 3046 0 0 0 19 0 0 0 20 0 1 0 199121831 95399936 6557 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 23291 6557 4013 3002 0 7040 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 26228 KiB
[startup+0.305574 s]*
/proc/loadavg: 4.04 4.10 4.09 5/257 1082650
/proc/meminfo: memFree=121955028/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=93320 memory=26304 CPUtime=0.29 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 3096 0 0 0 29 0 0 0 20 0 1 0 199121831 95559680 6576 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 23330 6576 4013 3002 0 7079 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93320 KiB
Current children cumulated memory: 26304 KiB
[startup+0.70022 s]
/proc/loadavg: 4.04 4.10 4.09 5/257 1082650
/proc/meminfo: memFree=121954764/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=110660 memory=43196 CPUtime=0.68 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 7378 0 0 0 67 1 0 0 20 0 1 0 199121831 113315840 10799 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 27665 10799 4013 3002 0 11414 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110660 KiB
Current children cumulated memory: 43196 KiB
[startup+1.50022 s]
/proc/loadavg: 4.04 4.10 4.09 5/257 1082650
/proc/meminfo: memFree=121905908/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=187456 memory=118836 CPUtime=1.48 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 27776 0 0 0 144 4 0 0 20 0 1 0 199121831 191954944 29709 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 46864 29709 4013 3002 0 30613 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187456 KiB
Current children cumulated memory: 118836 KiB
[startup+3.10551 s]
/proc/loadavg: 4.04 4.10 4.09 5/257 1082650
/proc/meminfo: memFree=121825968/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=225080 memory=155004 CPUtime=3.08 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 36788 0 0 0 303 5 0 0 20 0 1 0 199121831 230481920 38751 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 56270 38751 4013 3002 0 40019 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 225080 KiB
Current children cumulated memory: 155004 KiB
[startup+6.3002 s]
/proc/loadavg: 4.04 4.09 4.08 5/257 1082650
/proc/meminfo: memFree=121825748/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=225080 memory=155004 CPUtime=6.26 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 36793 0 0 0 621 5 0 0 20 0 1 0 199121831 230481920 38751 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 56270 38751 4013 3002 0 40019 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 225080 KiB
Current children cumulated memory: 155004 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1082698
/proc/meminfo: memFree=125020580/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=230720 memory=160284 CPUtime=12.63 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 38120 0 0 0 1258 5 0 0 20 0 1 0 199121831 236257280 40071 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 57680 40071 4013 3002 0 41429 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 230720 KiB
Current children cumulated memory: 160284 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 1082699
/proc/meminfo: memFree=123891652/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=288492 memory=216944 CPUtime=25.39 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 53381 0 0 0 2530 9 0 0 20 0 1 0 199121831 295415808 54236 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 72123 54236 4013 3002 0 55872 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 288492 KiB
Current children cumulated memory: 216944 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 1082716
/proc/meminfo: memFree=121689556/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=288284 memory=216848 CPUtime=50.92 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 53606 0 0 0 5081 11 0 0 20 0 1 0 199121831 295202816 54212 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 72071 54212 4028 3002 0 55820 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 288284 KiB
Current children cumulated memory: 216848 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1082816
/proc/meminfo: memFree=116218132/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=288284 memory=217256 CPUtime=101.92 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 53952 0 0 0 10180 12 0 0 20 0 1 0 199121831 295202816 54314 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 72071 54314 4028 3002 0 55820 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 288284 KiB
Current children cumulated memory: 217256 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1082826
/proc/meminfo: memFree=115896980/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=366028 memory=296608 CPUtime=161.69 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 73355 0 0 0 16154 15 0 0 20 0 1 0 199121831 374812672 74152 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 91507 74152 4028 3002 0 75256 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 366028 KiB
Current children cumulated memory: 296608 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/257 1082836
/proc/meminfo: memFree=115728484/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=392596 memory=325592 CPUtime=221.47 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 80101 0 0 0 22130 17 0 0 20 0 1 0 199121831 402018304 81398 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 98149 81398 4028 3002 0 81898 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 392596 KiB
Current children cumulated memory: 325592 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 1082848
/proc/meminfo: memFree=115670052/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=395660 memory=332748 CPUtime=281.24 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 80782 0 0 0 28107 17 0 0 20 0 1 0 199121831 405155840 83187 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 98915 83187 4028 3002 0 82664 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 395660 KiB
Current children cumulated memory: 332748 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 1082858
/proc/meminfo: memFree=117431904/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=288680 memory=224096 CPUtime=341 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 82907 0 0 0 34028 72 0 0 20 0 1 0 199121831 295608320 56024 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 72170 56024 4187 3002 0 55919 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 288680 KiB
Current children cumulated memory: 224096 KiB
[startup+402.3 s]
/proc/loadavg: 4.30 4.14 4.10 5/255 1082868
/proc/meminfo: memFree=120750488/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=288680 memory=230444 CPUtime=400.78 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 82947 0 0 0 39951 127 0 0 20 0 1 0 199121831 295608320 57611 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 72170 57611 4187 3002 0 55919 0
Current children cumulated CPU time: 400.78 s
Current children cumulated vsize: 288680 KiB
Current children cumulated memory: 230444 KiB
[startup+462.3 s]
/proc/loadavg: 4.57 4.25 4.14 5/255 1082879
/proc/meminfo: memFree=120653532/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=307648 memory=236756 CPUtime=460.57 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 83544 0 0 0 45883 174 0 0 20 0 1 0 199121831 315031552 59189 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 76912 59189 4187 3002 0 60661 0
################
# More data... #
################
Current children cumulated memory: 281900 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/255 1083924
/proc/meminfo: memFree=118868672/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=338468 memory=282140 CPUtime=2851.7 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 88590 0 0 0 284161 1009 0 0 20 0 1 0 199121831 346591232 70535 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 84617 70535 4187 3002 0 68366 0
Current children cumulated CPU time: 2851.7 s
Current children cumulated vsize: 338468 KiB
Current children cumulated memory: 282140 KiB
[startup+2922.3 s]
/proc/loadavg: 4.33 4.19 4.15 5/255 1083934
/proc/meminfo: memFree=118837224/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=285040 CPUtime=2911.45 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 88954 0 0 0 290119 1026 0 0 20 0 1 0 199121831 397881344 71260 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 71260 4187 3002 0 80888 0
Current children cumulated CPU time: 2911.45 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 285040 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.17 4.14 5/255 1083944
/proc/meminfo: memFree=118662904/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=285064 CPUtime=2971.21 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 89071 0 0 0 296080 1041 0 0 20 0 1 0 199121831 397881344 71266 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 71266 4187 3002 0 80888 0
Current children cumulated CPU time: 2971.21 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 285064 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/257 1083959
/proc/meminfo: memFree=118445968/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=285064 CPUtime=3030.97 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 89187 0 0 0 302045 1052 0 0 20 0 1 0 199121831 397881344 71266 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 71266 4187 3002 0 80888 0
Current children cumulated CPU time: 3030.97 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 285064 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.18 4.15 5/257 1083970
/proc/meminfo: memFree=118355060/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=285064 CPUtime=3090.74 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 89303 0 0 0 308009 1065 0 0 20 0 1 0 199121831 397881344 71266 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 71266 4187 3002 0 80888 0
Current children cumulated CPU time: 3090.74 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 285064 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.17 4.15 5/257 1083980
/proc/meminfo: memFree=118274788/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=285064 CPUtime=3150.5 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 89419 0 0 0 313972 1078 0 0 20 0 1 0 199121831 397881344 71266 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 71266 4187 3002 0 80888 0
Current children cumulated CPU time: 3150.5 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 285064 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/257 1083990
/proc/meminfo: memFree=118050760/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=285064 CPUtime=3210.26 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 89536 0 0 0 319935 1091 0 0 20 0 1 0 199121831 397881344 71266 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 71266 4187 3002 0 80888 0
Current children cumulated CPU time: 3210.26 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 285064 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/257 1084002
/proc/meminfo: memFree=117868276/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=289160 CPUtime=3270.02 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 89658 0 0 0 325899 1103 0 0 20 0 1 0 199121831 397881344 72290 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 72290 4187 3002 0 80888 0
Current children cumulated CPU time: 3270.02 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 289160 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/258 1084397
/proc/meminfo: memFree=117715700/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=289160 CPUtime=3329.78 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 89776 0 0 0 331862 1116 0 0 20 0 1 0 199121831 397881344 72290 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 72290 4187 3002 0 80888 0
Current children cumulated CPU time: 3329.78 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 289160 KiB
[startup+3402.3 s]
/proc/loadavg: 4.37 4.19 4.15 5/257 1084407
/proc/meminfo: memFree=117558524/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=291208 CPUtime=3389.54 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 89906 0 0 0 337826 1128 0 0 20 0 1 0 199121831 397881344 72802 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 72802 4187 3002 0 80888 0
Current children cumulated CPU time: 3389.54 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 291208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.19 4.16 5/257 1084418
/proc/meminfo: memFree=117380532/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=291208 CPUtime=3449.3 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 90028 0 0 0 343787 1143 0 0 20 0 1 0 199121831 397881344 72802 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 72802 4187 3002 0 80888 0
Current children cumulated CPU time: 3449.3 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 291208 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.20 4.16 5/259 1084598
/proc/meminfo: memFree=117282980/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=291208 CPUtime=3509.06 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 90160 0 0 0 349752 1154 0 0 20 0 1 0 199121831 397881344 72802 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 72802 4187 3002 0 80888 0
Current children cumulated CPU time: 3509.06 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 291208 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.18 4.16 5/260 1084609
/proc/meminfo: memFree=117271868/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=291208 CPUtime=3568.82 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 90284 0 0 0 355717 1165 0 0 20 0 1 0 199121831 397881344 72802 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 72802 4187 3002 0 80888 0
Current children cumulated CPU time: 3568.82 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 291208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.13 4.17 4.16 5/257 1084617
/proc/meminfo: memFree=117271616/131524600 swapFree=131071996/131071996
[pid=1082649] ppid=1082646 vsize=388556 memory=291208 CPUtime=3600 cores=0,2
/proc/1082649/stat : 1082649 (mixed-bag) R 1082646 1082649 1079538 0 -1 4194304 90346 0 0 0 358829 1171 0 0 20 0 1 0 199121831 397881344 72802 134679101440 4194304 16488053 140729298876144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 36470784 140729298883605 140729298883682 140729298883682 140729298890699 0
/proc/1082649/statm: 97139 72802 4187 3002 0 80888 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 388556 KiB
Current children cumulated memory: 291208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.6 s]
# the end of solver process 1082649 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.29 s, system=11.7165 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3613.6
CPU time (s): 3600.01
CPU user time (s): 3588.29
CPU system time (s): 11.7165
CPU usage (%): 99.6237
Max. virtual memory (cumulated for all children) (KiB): 395660
Max. memory (cumulated for all children) (KiB): 332776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.29
system time used= 11.7165
maximum resident set size= 332776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90366
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= 40
involuntary context switches= 25211
# summary of solver processes directly reported to runsolver:
# pid: 1082649
# total CPU time (s): 3600.01
# total CPU user time (s): 3588.29
# total CPU system time (s): 11.7165
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7451 second user time and 17.5627 second system time
The end
Begin job on nodeC017 at 2024-07-20 12:00:12
IDJOB=4454707
IDBENCH=147549
IDSOLVER=3083
FILE ID=nodeC017/4454707-1721469600
RUNJOBID= nodeC017-1721465999-1079548
SLURM_JOB_ID= 7545717
Free space on /tmp= 890004 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454707-1721469600/watcher-4454707-1721469600 -o /tmp/evaluation-result-4454707-1721469600/solver-4454707-1721469600 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079548 --watchdog 3760 mixed-bag HOME/instance-4454707-1721469600.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb
RANDOM SEED=1889648347
nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3650.918
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.061
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.881
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.008
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.582
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.049
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.792
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.883
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121966732 kB
MemAvailable: 124554568 kB
Buffers: 608336 kB
Cached: 2804848 kB
SwapCached: 0 kB
Active: 1337908 kB
Inactive: 7548924 kB
Active(anon): 1544 kB
Inactive(anon): 5518044 kB
Active(file): 1336364 kB
Inactive(file): 2030880 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16468 kB
Writeback: 0 kB
AnonPages: 5472144 kB
Mapped: 124104 kB
Shmem: 45912 kB
KReclaimable: 120476 kB
Slab: 236708 kB
SReclaimable: 120476 kB
SUnreclaim: 116232 kB
KernelStack: 4096 kB
PageTables: 20736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6147476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72448 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3948544 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 305876 kB
DirectMap2M: 43507712 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC017 at 2024-07-20 13:00:26