0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
299.45/300.35 c [STEP] preprocessing done, loading into solver
299.45/300.36 c [STEP] solving
299.45/300.36 c #variables 474 #constraints 473
299.45/300.36 c SMALL=int, LARGE=long long
299.45/300.36 c bounds - >= 0 @ 299.377
299.45/300.36 c stratification level: 0
313.51/314.48 c bounds - >= 45 @ 299.377
313.51/314.48 c bounds - >= 46 @ 299.378
313.51/314.48 c bounds - >= 47 @ 299.378
313.51/314.48 c bounds - >= 48 @ 299.378
313.51/314.48 c bounds - >= 49 @ 299.378
313.51/314.48 c bounds - >= 50 @ 299.378
313.51/314.48 c bounds - >= 51 @ 299.378
313.51/314.48 c bounds - >= 52 @ 299.378
313.51/314.48 c bounds - >= 53 @ 299.378
313.51/314.48 c bounds - >= 54 @ 299.378
313.51/314.48 c bounds - >= 55 @ 299.378
313.51/314.48 c bounds - >= 56 @ 299.379
313.51/314.48 c bounds - >= 57 @ 299.379
313.51/314.48 c bounds - >= 58 @ 299.379
313.51/314.48 c bounds - >= 59 @ 299.379
313.51/314.48 c bounds - >= 60 @ 299.379
313.51/314.48 c bounds - >= 61 @ 299.379
313.51/314.48 c bounds - >= 62 @ 299.379
313.51/314.48 c bounds - >= 63 @ 299.379
313.51/314.48 c bounds - >= 64 @ 299.379
313.51/314.48 c bounds - >= 65 @ 299.379
313.51/314.48 c bounds - >= 66 @ 299.38
313.51/314.48 c bounds - >= 67 @ 299.38
313.51/314.48 c bounds - >= 68 @ 299.38
313.51/314.48 c bounds - >= 69 @ 299.38
313.51/314.48 c bounds - >= 70 @ 299.38
313.51/314.48 c bounds - >= 71 @ 299.38
313.51/314.48 c bounds - >= 72 @ 299.38
313.51/314.48 c bounds - >= 73 @ 299.38
313.51/314.48 c bounds - >= 74 @ 299.38
313.51/314.48 c bounds - >= 75 @ 299.38
313.51/314.48 c bounds - >= 76 @ 299.381
313.51/314.48 c bounds - >= 77 @ 299.381
313.51/314.48 c bounds - >= 78 @ 299.381
313.51/314.48 c bounds - >= 79 @ 299.381
313.51/314.48 c bounds - >= 80 @ 299.381
313.51/314.48 c bounds - >= 81 @ 299.381
313.51/314.48 c bounds - >= 82 @ 299.381
313.51/314.48 c bounds - >= 83 @ 299.381
313.51/314.48 c bounds - >= 84 @ 299.381
313.51/314.48 c bounds - >= 85 @ 299.381
313.51/314.48 c bounds - >= 86 @ 299.381
313.51/314.48 c bounds - >= 87 @ 299.381
313.51/314.48 c bounds - >= 88 @ 299.381
313.51/314.48 c bounds - >= 89 @ 299.381
313.51/314.48 c bounds - >= 90 @ 299.381
313.51/314.48 c bounds - >= 91 @ 299.381
313.51/314.48 c bounds - >= 92 @ 299.381
313.51/314.48 c bounds - >= 93 @ 299.381
313.51/314.48 c bounds - >= 94 @ 299.381
313.51/314.48 c bounds - >= 95 @ 299.381
313.51/314.48 c bounds - >= 96 @ 299.381
313.51/314.48 c bounds - >= 97 @ 299.381
313.51/314.48 c bounds - >= 98 @ 299.381
313.51/314.48 c bounds - >= 99 @ 299.381
313.51/314.48 c bounds - >= 100 @ 299.381
313.51/314.48 c bounds - >= 101 @ 299.381
313.51/314.48 c bounds - >= 102 @ 299.381
313.51/314.48 c bounds - >= 103 @ 299.381
313.51/314.48 c bounds - >= 104 @ 299.381
313.51/314.48 c bounds - >= 105 @ 299.381
313.51/314.48 c bounds - >= 106 @ 299.381
313.51/314.48 c bounds - >= 107 @ 299.381
313.51/314.48 c bounds - >= 108 @ 299.381
313.51/314.48 c bounds - >= 109 @ 299.382
313.51/314.48 c bounds - >= 110 @ 299.382
313.51/314.48 c bounds - >= 111 @ 299.382
313.51/314.48 c bounds - >= 112 @ 299.382
313.51/314.48 c bounds - >= 113 @ 299.382
313.51/314.48 c bounds - >= 114 @ 299.382
313.51/314.48 c bounds - >= 115 @ 299.382
313.51/314.48 c bounds - >= 116 @ 299.382
313.51/314.48 c bounds - >= 117 @ 299.382
313.51/314.48 c bounds - >= 118 @ 299.382
313.51/314.48 c bounds - >= 119 @ 299.382
313.51/314.48 c bounds - >= 120 @ 299.382
313.51/314.48 c bounds - >= 121 @ 299.382
313.51/314.48 c bounds - >= 122 @ 299.382
313.51/314.48 c bounds - >= 123 @ 299.383
313.51/314.48 c bounds - >= 124 @ 299.383
313.51/314.48 c bounds - >= 125 @ 299.383
313.51/314.48 c bounds - >= 126 @ 299.383
313.51/314.48 c bounds - >= 127 @ 299.383
313.51/314.48 c #Conflicts: 1000 | #Constraints: 1611
313.51/314.48 c #Conflicts: 2000 | #Constraints: 2611
313.51/314.48 c INPROCESSING
313.51/314.48 c GARBAGE COLLECT
313.51/314.48 c #Conflicts: 3000 | #Constraints: 2544
313.51/314.48 c #Conflicts: 4000 | #Constraints: 3544
313.51/314.48 c INPROCESSING
313.51/314.48 c GARBAGE COLLECT
313.51/314.48 c #Conflicts: 5000 | #Constraints: 2939
313.51/314.48 c #Conflicts: 6000 | #Constraints: 3939
313.51/314.48 c INPROCESSING
313.51/314.48 c GARBAGE COLLECT
313.51/314.48 c #Conflicts: 7000 | #Constraints: 2940
313.51/314.48 c #Conflicts: 8000 | #Constraints: 3940
313.51/314.48 c #Conflicts: 9000 | #Constraints: 4940
313.51/314.48 c INPROCESSING
313.51/314.48 c GARBAGE COLLECT
313.51/314.48 c #Conflicts: 10000 | #Constraints: 3647
313.51/314.48 c #Conflicts: 11000 | #Constraints: 4647
313.51/314.48 c #Conflicts: 12000 | #Constraints: 5647
313.51/314.48 c INPROCESSING
313.51/314.48 c GARBAGE COLLECT
313.51/314.48 c #Conflicts: 13000 | #Constraints: 4089
313.51/314.48 c #Conflicts: 14000 | #Constraints: 5089
313.51/314.48 c #Conflicts: 15000 | #Constraints: 6089
313.51/314.48 c INPROCESSING
313.51/314.48 c GARBAGE COLLECT
313.51/314.48 c #Conflicts: 16000 | #Constraints: 4310
313.51/314.48 c #Conflicts: 17000 | #Constraints: 5310
313.51/314.48 c #Conflicts: 18000 | #Constraints: 6310
313.51/314.48 c INPROCESSING
313.51/314.48 c GARBAGE COLLECT
313.51/314.48 c #Conflicts: 19000 | #Constraints: 4324
313.51/314.48 c #Conflicts: 20000 | #Constraints: 5324
313.51/314.48 c #Conflicts: 21000 | #Constraints: 6324
313.51/314.48 c INPROCESSING
313.51/314.48 c GARBAGE COLLECT
313.51/314.48 c #Conflicts: 22000 | #Constraints: 4130
313.51/314.48 c #Conflicts: 23000 | #Constraints: 5130
313.51/314.48 c #Conflicts: 24000 | #Constraints: 6130
313.51/314.48 c #Conflicts: 25000 | #Constraints: 7130
313.51/314.48 c INPROCESSING
313.51/314.48 c GARBAGE COLLECT
313.51/314.48 c #Conflicts: 26000 | #Constraints: 4728
313.51/314.48 c #Conflicts: 27000 | #Constraints: 5728
313.51/314.48 c #Conflicts: 28000 | #Constraints: 6728
313.51/314.48 c #Conflicts: 29000 | #Constraints: 7728
313.51/314.48 c INPROCESSING
313.51/314.48 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 30000 | #Constraints: 5132
377.75/378.83 c #Conflicts: 31000 | #Constraints: 6132
377.75/378.83 c #Conflicts: 32000 | #Constraints: 7132
377.75/378.83 c #Conflicts: 33000 | #Constraints: 8132
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 34000 | #Constraints: 5342
377.75/378.83 c #Conflicts: 35000 | #Constraints: 6342
377.75/378.83 c #Conflicts: 36000 | #Constraints: 7342
377.75/378.83 c #Conflicts: 37000 | #Constraints: 8342
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 38000 | #Constraints: 5348
377.75/378.83 c #Conflicts: 39000 | #Constraints: 6348
377.75/378.83 c #Conflicts: 40000 | #Constraints: 7348
377.75/378.83 c #Conflicts: 41000 | #Constraints: 8348
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 42000 | #Constraints: 5142
377.75/378.83 c #Conflicts: 43000 | #Constraints: 6142
377.75/378.83 c #Conflicts: 44000 | #Constraints: 7142
377.75/378.83 c #Conflicts: 45000 | #Constraints: 8142
377.75/378.83 c #Conflicts: 46000 | #Constraints: 9142
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 47000 | #Constraints: 5734
377.75/378.83 c #Conflicts: 48000 | #Constraints: 6734
377.75/378.83 c #Conflicts: 49000 | #Constraints: 7734
377.75/378.83 c #Conflicts: 50000 | #Constraints: 8734
377.75/378.83 c #Conflicts: 51000 | #Constraints: 9734
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 52000 | #Constraints: 6141
377.75/378.83 c #Conflicts: 53000 | #Constraints: 7141
377.75/378.83 c #Conflicts: 54000 | #Constraints: 8141
377.75/378.83 c #Conflicts: 55000 | #Constraints: 9141
377.75/378.83 c #Conflicts: 56000 | #Constraints: 10141
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 57000 | #Constraints: 6341
377.75/378.83 c #Conflicts: 58000 | #Constraints: 7341
377.75/378.83 c #Conflicts: 59000 | #Constraints: 8341
377.75/378.83 c #Conflicts: 60000 | #Constraints: 9341
377.75/378.83 c #Conflicts: 61000 | #Constraints: 10341
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 62000 | #Constraints: 6344
377.75/378.83 c #Conflicts: 63000 | #Constraints: 7344
377.75/378.83 c #Conflicts: 64000 | #Constraints: 8344
377.75/378.83 c #Conflicts: 65000 | #Constraints: 9344
377.75/378.83 c #Conflicts: 66000 | #Constraints: 10344
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 67000 | #Constraints: 6143
377.75/378.83 c #Conflicts: 68000 | #Constraints: 7143
377.75/378.83 c #Conflicts: 69000 | #Constraints: 8143
377.75/378.83 c #Conflicts: 70000 | #Constraints: 9143
377.75/378.83 c #Conflicts: 71000 | #Constraints: 10143
377.75/378.83 c #Conflicts: 72000 | #Constraints: 11143
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 73000 | #Constraints: 6742
377.75/378.83 c #Conflicts: 74000 | #Constraints: 7742
377.75/378.83 c #Conflicts: 75000 | #Constraints: 8742
377.75/378.83 c #Conflicts: 76000 | #Constraints: 9742
377.75/378.83 c #Conflicts: 77000 | #Constraints: 10742
377.75/378.83 c #Conflicts: 78000 | #Constraints: 11742
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 79000 | #Constraints: 7142
377.75/378.83 c #Conflicts: 80000 | #Constraints: 8142
377.75/378.83 c #Conflicts: 81000 | #Constraints: 9142
377.75/378.83 c #Conflicts: 82000 | #Constraints: 10142
377.75/378.83 c #Conflicts: 83000 | #Constraints: 11142
377.75/378.83 c #Conflicts: 84000 | #Constraints: 12142
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 85000 | #Constraints: 7336
377.75/378.83 c #Conflicts: 86000 | #Constraints: 8336
377.75/378.83 c #Conflicts: 87000 | #Constraints: 9336
377.75/378.83 c #Conflicts: 88000 | #Constraints: 10336
377.75/378.83 c #Conflicts: 89000 | #Constraints: 11336
377.75/378.83 c #Conflicts: 90000 | #Constraints: 12336
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 91000 | #Constraints: 7340
377.75/378.83 c #Conflicts: 92000 | #Constraints: 8340
377.75/378.83 c #Conflicts: 93000 | #Constraints: 9340
377.75/378.83 c #Conflicts: 94000 | #Constraints: 10340
377.75/378.83 c #Conflicts: 95000 | #Constraints: 11340
377.75/378.83 c #Conflicts: 96000 | #Constraints: 12340
377.75/378.83 c INPROCESSING
377.75/378.83 c GARBAGE COLLECT
377.75/378.83 c #Conflicts: 97000 | #Constraints: 7148
377.75/378.83 c #Conflicts: 98000 | #Constraints: 8148
377.75/378.83 c #Conflicts: 99000 | #Constraints: 9148
377.75/378.83 c #Conflicts: 100000 | #Constraints: 10148
464.15/465.40 c #Conflicts: 101000 | #Constraints: 11148
464.15/465.40 c #Conflicts: 102000 | #Constraints: 12148
464.15/465.40 c #Conflicts: 103000 | #Constraints: 13148
464.15/465.40 c INPROCESSING
464.15/465.40 c GARBAGE COLLECT
464.15/465.40 c #Conflicts: 104000 | #Constraints: 7740
464.15/465.40 c #Conflicts: 105000 | #Constraints: 8740
464.15/465.40 c #Conflicts: 106000 | #Constraints: 9740
464.15/465.40 c #Conflicts: 107000 | #Constraints: 10740
464.15/465.40 c #Conflicts: 108000 | #Constraints: 11740
464.15/465.40 c #Conflicts: 109000 | #Constraints: 12740
464.15/465.40 c #Conflicts: 110000 | #Constraints: 13740
464.15/465.40 c INPROCESSING
464.15/465.40 c GARBAGE COLLECT
464.15/465.40 c #Conflicts: 111000 | #Constraints: 8141
464.15/465.40 c #Conflicts: 112000 | #Constraints: 9141
464.15/465.40 c #Conflicts: 113000 | #Constraints: 10141
464.15/465.40 c #Conflicts: 114000 | #Constraints: 11141
464.15/465.40 c #Conflicts: 115000 | #Constraints: 12141
464.15/465.40 c #Conflicts: 116000 | #Constraints: 13141
464.15/465.40 c #Conflicts: 117000 | #Constraints: 14141
464.15/465.40 c INPROCESSING
464.15/465.40 c GARBAGE COLLECT
464.15/465.40 c #Conflicts: 118000 | #Constraints: 8346
464.15/465.40 c #Conflicts: 119000 | #Constraints: 9346
464.15/465.40 c #Conflicts: 120000 | #Constraints: 10346
464.15/465.40 c #Conflicts: 121000 | #Constraints: 11346
464.15/465.40 c #Conflicts: 122000 | #Constraints: 12346
464.15/465.40 c #Conflicts: 123000 | #Constraints: 13346
464.15/465.40 c #Conflicts: 124000 | #Constraints: 14346
464.15/465.40 c INPROCESSING
464.15/465.40 c GARBAGE COLLECT
464.15/465.40 c #Conflicts: 125000 | #Constraints: 8345
464.15/465.40 c #Conflicts: 126000 | #Constraints: 9345
464.15/465.40 c #Conflicts: 127000 | #Constraints: 10345
464.15/465.40 c #Conflicts: 128000 | #Constraints: 11345
464.15/465.40 c #Conflicts: 129000 | #Constraints: 12345
464.15/465.40 c #Conflicts: 130000 | #Constraints: 13345
464.15/465.40 c #Conflicts: 131000 | #Constraints: 14345
464.15/465.40 c INPROCESSING
464.15/465.40 c GARBAGE COLLECT
464.15/465.40 c #Conflicts: 132000 | #Constraints: 8145
464.15/465.40 c #Conflicts: 133000 | #Constraints: 9145
464.15/465.40 c #Conflicts: 134000 | #Constraints: 10145
464.15/465.40 c #Conflicts: 135000 | #Constraints: 11145
464.15/465.40 c #Conflicts: 136000 | #Constraints: 12145
464.15/465.40 c #Conflicts: 137000 | #Constraints: 13145
464.15/465.40 c #Conflicts: 138000 | #Constraints: 14145
464.15/465.40 c #Conflicts: 139000 | #Constraints: 15145
464.15/465.40 c INPROCESSING
464.15/465.40 c GARBAGE COLLECT
464.15/465.40 c #Conflicts: 140000 | #Constraints: 8746
464.15/465.40 c #Conflicts: 141000 | #Constraints: 9746
464.15/465.40 c #Conflicts: 142000 | #Constraints: 10746
464.15/465.40 c #Conflicts: 143000 | #Constraints: 11746
464.15/465.40 c #Conflicts: 144000 | #Constraints: 12746
464.15/465.40 c #Conflicts: 145000 | #Constraints: 13746
464.15/465.40 c #Conflicts: 146000 | #Constraints: 14746
464.15/465.40 c #Conflicts: 147000 | #Constraints: 15746
464.15/465.40 c INPROCESSING
464.15/465.40 c GARBAGE COLLECT
464.15/465.40 c #Conflicts: 148000 | #Constraints: 9146
464.15/465.40 c #Conflicts: 149000 | #Constraints: 10146
464.15/465.40 c #Conflicts: 150000 | #Constraints: 11146
464.15/465.40 c #Conflicts: 151000 | #Constraints: 12146
464.15/465.40 c #Conflicts: 152000 | #Constraints: 13146
464.15/465.40 c #Conflicts: 153000 | #Constraints: 14146
464.15/465.40 c #Conflicts: 154000 | #Constraints: 15146
464.15/465.40 c #Conflicts: 155000 | #Constraints: 16146
464.15/465.40 c INPROCESSING
464.15/465.40 c GARBAGE COLLECT
464.15/465.40 c #Conflicts: 156000 | #Constraints: 9344
464.15/465.40 c #Conflicts: 157000 | #Constraints: 10344
464.15/465.40 c #Conflicts: 158000 | #Constraints: 11344
464.15/465.40 c #Conflicts: 159000 | #Constraints: 12344
464.15/465.40 c #Conflicts: 160000 | #Constraints: 13344
464.15/465.40 c #Conflicts: 161000 | #Constraints: 14344
464.15/465.40 c #Conflicts: 162000 | #Constraints: 15344
464.15/465.40 c #Conflicts: 163000 | #Constraints: 16344
464.15/465.40 c INPROCESSING
464.15/465.40 c GARBAGE COLLECT
464.15/465.40 c #Conflicts: 164000 | #Constraints: 9344
464.15/465.40 c #Conflicts: 165000 | #Constraints: 10344
464.15/465.40 c #Conflicts: 166000 | #Constraints: 11344
464.15/465.40 c #Conflicts: 167000 | #Constraints: 12344
464.15/465.40 c #Conflicts: 168000 | #Constraints: 13344
464.15/465.40 c #Conflicts: 169000 | #Constraints: 14344
464.15/465.40 c #Conflicts: 170000 | #Constraints: 15344
464.15/465.40 c #Conflicts: 171000 | #Constraints: 16344
464.15/465.40 c INPROCESSING
464.15/465.40 c GARBAGE COLLECT
464.15/465.40 c #Conflicts: 172000 | #Constraints: 9142
588.25/589.85 c #Conflicts: 173000 | #Constraints: 10142
588.25/589.85 c #Conflicts: 174000 | #Constraints: 11142
588.25/589.85 c #Conflicts: 175000 | #Constraints: 12142
588.25/589.85 c #Conflicts: 176000 | #Constraints: 13142
588.25/589.85 c #Conflicts: 177000 | #Constraints: 14142
588.25/589.85 c #Conflicts: 178000 | #Constraints: 15142
588.25/589.85 c #Conflicts: 179000 | #Constraints: 16142
588.25/589.85 c #Conflicts: 180000 | #Constraints: 17142
588.25/589.85 c INPROCESSING
588.25/589.85 c GARBAGE COLLECT
588.25/589.85 c #Conflicts: 181000 | #Constraints: 9747
588.25/589.85 c #Conflicts: 182000 | #Constraints: 10747
588.25/589.85 c #Conflicts: 183000 | #Constraints: 11747
588.25/589.85 c #Conflicts: 184000 | #Constraints: 12747
588.25/589.85 c #Conflicts: 185000 | #Constraints: 13747
588.25/589.85 c #Conflicts: 186000 | #Constraints: 14747
588.25/589.85 c #Conflicts: 187000 | #Constraints: 15747
588.25/589.85 c #Conflicts: 188000 | #Constraints: 16747
588.25/589.85 c #Conflicts: 189000 | #Constraints: 17747
588.25/589.85 c INPROCESSING
588.25/589.85 c GARBAGE COLLECT
588.25/589.85 c #Conflicts: 190000 | #Constraints: 10144
588.25/589.85 c #Conflicts: 191000 | #Constraints: 11144
588.25/589.85 c #Conflicts: 192000 | #Constraints: 12144
588.25/589.85 c #Conflicts: 193000 | #Constraints: 13144
588.25/589.85 c #Conflicts: 194000 | #Constraints: 14144
588.25/589.85 c #Conflicts: 195000 | #Constraints: 15144
588.25/589.85 c #Conflicts: 196000 | #Constraints: 16144
588.25/589.85 c #Conflicts: 197000 | #Constraints: 17144
588.25/589.85 c #Conflicts: 198000 | #Constraints: 18144
588.25/589.85 c INPROCESSING
588.25/589.85 c GARBAGE COLLECT
588.25/589.85 c #Conflicts: 199000 | #Constraints: 10343
588.25/589.85 c #Conflicts: 200000 | #Constraints: 11343
588.25/589.85 c #Conflicts: 201000 | #Constraints: 12343
588.25/589.85 c #Conflicts: 202000 | #Constraints: 13343
588.25/589.85 c #Conflicts: 203000 | #Constraints: 14343
588.25/589.85 c #Conflicts: 204000 | #Constraints: 15343
588.25/589.85 c #Conflicts: 205000 | #Constraints: 16343
588.25/589.85 c #Conflicts: 206000 | #Constraints: 17343
588.25/589.85 c #Conflicts: 207000 | #Constraints: 18343
588.25/589.85 c INPROCESSING
588.25/589.85 c GARBAGE COLLECT
588.25/589.85 c #Conflicts: 208000 | #Constraints: 10340
588.25/589.85 c #Conflicts: 209000 | #Constraints: 11340
588.25/589.85 c #Conflicts: 210000 | #Constraints: 12340
588.25/589.85 c #Conflicts: 211000 | #Constraints: 13340
588.25/589.85 c #Conflicts: 212000 | #Constraints: 14340
588.25/589.85 c #Conflicts: 213000 | #Constraints: 15340
588.25/589.85 c #Conflicts: 214000 | #Constraints: 16340
588.25/589.85 c #Conflicts: 215000 | #Constraints: 17340
588.25/589.85 c #Conflicts: 216000 | #Constraints: 18340
588.25/589.85 c INPROCESSING
588.25/589.85 c GARBAGE COLLECT
588.25/589.85 c #Conflicts: 217000 | #Constraints: 10143
588.25/589.85 c #Conflicts: 218000 | #Constraints: 11143
588.25/589.85 c #Conflicts: 219000 | #Constraints: 12143
588.25/589.85 c #Conflicts: 220000 | #Constraints: 13143
588.25/589.85 c #Conflicts: 221000 | #Constraints: 14143
588.25/589.85 c #Conflicts: 222000 | #Constraints: 15143
588.25/589.85 c #Conflicts: 223000 | #Constraints: 16143
588.25/589.85 c #Conflicts: 224000 | #Constraints: 17143
588.25/589.85 c #Conflicts: 225000 | #Constraints: 18143
588.25/589.85 c #Conflicts: 226000 | #Constraints: 19143
588.25/589.85 c INPROCESSING
588.25/589.85 c GARBAGE COLLECT
588.25/589.85 c #Conflicts: 227000 | #Constraints: 10750
588.25/589.85 c #Conflicts: 228000 | #Constraints: 11750
588.25/589.85 c #Conflicts: 229000 | #Constraints: 12750
588.25/589.85 c #Conflicts: 230000 | #Constraints: 13750
588.25/589.85 c #Conflicts: 231000 | #Constraints: 14750
588.25/589.85 c #Conflicts: 232000 | #Constraints: 15750
588.25/589.85 c #Conflicts: 233000 | #Constraints: 16750
588.25/589.85 c #Conflicts: 234000 | #Constraints: 17750
588.25/589.85 c #Conflicts: 235000 | #Constraints: 18750
588.25/589.85 c #Conflicts: 236000 | #Constraints: 19750
588.25/589.85 c INPROCESSING
588.25/589.85 c GARBAGE COLLECT
588.25/589.85 c #Conflicts: 237000 | #Constraints: 11153
588.25/589.85 c #Conflicts: 238000 | #Constraints: 12153
588.25/589.85 c #Conflicts: 239000 | #Constraints: 13153
588.25/589.85 c #Conflicts: 240000 | #Constraints: 14153
588.25/589.85 c #Conflicts: 241000 | #Constraints: 15153
588.25/589.85 c #Conflicts: 242000 | #Constraints: 16153
588.25/589.85 c #Conflicts: 243000 | #Constraints: 17153
588.25/589.85 c #Conflicts: 244000 | #Constraints: 18153
588.25/589.85 c #Conflicts: 245000 | #Constraints: 19153
588.25/589.85 c #Conflicts: 246000 | #Constraints: 20153
588.25/589.85 c INPROCESSING
742.39/744.34 c GARBAGE COLLECT
742.39/744.34 c #Conflicts: 247000 | #Constraints: 11341
742.39/744.34 c #Conflicts: 248000 | #Constraints: 12341
742.39/744.34 c #Conflicts: 249000 | #Constraints: 13341
742.39/744.34 c #Conflicts: 250000 | #Constraints: 14341
742.39/744.34 c #Conflicts: 251000 | #Constraints: 15341
742.39/744.34 c #Conflicts: 252000 | #Constraints: 16341
742.39/744.34 c #Conflicts: 253000 | #Constraints: 17341
742.39/744.34 c #Conflicts: 254000 | #Constraints: 18341
742.39/744.34 c #Conflicts: 255000 | #Constraints: 19341
742.39/744.34 c #Conflicts: 256000 | #Constraints: 20341
742.39/744.34 c INPROCESSING
742.39/744.34 c GARBAGE COLLECT
742.39/744.34 c #Conflicts: 257000 | #Constraints: 11336
742.39/744.34 c #Conflicts: 258000 | #Constraints: 12336
742.39/744.34 c #Conflicts: 259000 | #Constraints: 13336
742.39/744.34 c #Conflicts: 260000 | #Constraints: 14336
742.39/744.34 c #Conflicts: 261000 | #Constraints: 15336
742.39/744.34 c #Conflicts: 262000 | #Constraints: 16336
742.39/744.34 c #Conflicts: 263000 | #Constraints: 17336
742.39/744.34 c #Conflicts: 264000 | #Constraints: 18336
742.39/744.34 c #Conflicts: 265000 | #Constraints: 19336
742.39/744.34 c #Conflicts: 266000 | #Constraints: 20336
742.39/744.34 c INPROCESSING
742.39/744.34 c GARBAGE COLLECT
742.39/744.34 c #Conflicts: 267000 | #Constraints: 11145
742.39/744.34 c #Conflicts: 268000 | #Constraints: 12145
742.39/744.34 c #Conflicts: 269000 | #Constraints: 13145
742.39/744.34 c #Conflicts: 270000 | #Constraints: 14145
742.39/744.34 c #Conflicts: 271000 | #Constraints: 15145
742.39/744.34 c #Conflicts: 272000 | #Constraints: 16145
742.39/744.34 c #Conflicts: 273000 | #Constraints: 17145
742.39/744.34 c #Conflicts: 274000 | #Constraints: 18145
742.39/744.34 c #Conflicts: 275000 | #Constraints: 19145
742.39/744.34 c #Conflicts: 276000 | #Constraints: 20145
742.39/744.34 c #Conflicts: 277000 | #Constraints: 21145
742.39/744.34 c INPROCESSING
742.39/744.34 c GARBAGE COLLECT
742.39/744.34 c #Conflicts: 278000 | #Constraints: 11746
742.39/744.34 c #Conflicts: 279000 | #Constraints: 12746
742.39/744.34 c #Conflicts: 280000 | #Constraints: 13746
742.39/744.34 c #Conflicts: 281000 | #Constraints: 14746
742.39/744.34 c #Conflicts: 282000 | #Constraints: 15746
742.39/744.34 c #Conflicts: 283000 | #Constraints: 16746
742.39/744.34 c #Conflicts: 284000 | #Constraints: 17746
742.39/744.34 c #Conflicts: 285000 | #Constraints: 18746
742.39/744.34 c #Conflicts: 286000 | #Constraints: 19746
742.39/744.34 c #Conflicts: 287000 | #Constraints: 20746
742.39/744.34 c #Conflicts: 288000 | #Constraints: 21746
742.39/744.34 c INPROCESSING
742.39/744.34 c GARBAGE COLLECT
742.39/744.34 c #Conflicts: 289000 | #Constraints: 12149
742.39/744.34 c #Conflicts: 290000 | #Constraints: 13149
742.39/744.34 c #Conflicts: 291000 | #Constraints: 14149
742.39/744.34 c #Conflicts: 292000 | #Constraints: 15149
742.39/744.34 c #Conflicts: 293000 | #Constraints: 16149
742.39/744.34 c #Conflicts: 294000 | #Constraints: 17149
742.39/744.34 c #Conflicts: 295000 | #Constraints: 18149
742.39/744.34 c #Conflicts: 296000 | #Constraints: 19149
742.39/744.34 c #Conflicts: 297000 | #Constraints: 20149
742.39/744.34 c #Conflicts: 298000 | #Constraints: 21149
742.39/744.34 c #Conflicts: 299000 | #Constraints: 22149
742.39/744.34 c INPROCESSING
742.39/744.34 c GARBAGE COLLECT
742.39/744.34 c #Conflicts: 300000 | #Constraints: 12346
742.39/744.34 c #Conflicts: 301000 | #Constraints: 13346
742.39/744.34 c #Conflicts: 302000 | #Constraints: 14346
742.39/744.34 c #Conflicts: 303000 | #Constraints: 15346
742.39/744.34 c #Conflicts: 304000 | #Constraints: 16346
742.39/744.34 c #Conflicts: 305000 | #Constraints: 17346
742.39/744.34 c #Conflicts: 306000 | #Constraints: 18346
742.39/744.34 c #Conflicts: 307000 | #Constraints: 19346
742.39/744.34 c #Conflicts: 308000 | #Constraints: 20346
742.39/744.34 c #Conflicts: 309000 | #Constraints: 21346
742.39/744.34 c #Conflicts: 310000 | #Constraints: 22346
742.39/744.34 c INPROCESSING
742.39/744.34 c GARBAGE COLLECT
742.39/744.34 c #Conflicts: 311000 | #Constraints: 12347
742.39/744.34 c #Conflicts: 312000 | #Constraints: 13347
742.39/744.34 c #Conflicts: 313000 | #Constraints: 14347
742.39/744.34 c #Conflicts: 314000 | #Constraints: 15347
742.39/744.34 c #Conflicts: 315000 | #Constraints: 16347
742.39/744.34 c #Conflicts: 316000 | #Constraints: 17347
742.39/744.34 c #Conflicts: 317000 | #Constraints: 18347
742.39/744.34 c #Conflicts: 318000 | #Constraints: 19347
742.39/744.34 c #Conflicts: 319000 | #Constraints: 20347
742.39/744.34 c #Conflicts: 320000 | #Constraints: 21347
742.39/744.34 c #Conflicts: 321000 | #Constraints: 22347
933.83/936.24 c INPROCESSING
933.83/936.24 c GARBAGE COLLECT
933.83/936.24 c #Conflicts: 322000 | #Constraints: 12150
933.83/936.24 c #Conflicts: 323000 | #Constraints: 13150
933.83/936.24 c #Conflicts: 324000 | #Constraints: 14150
933.83/936.24 c #Conflicts: 325000 | #Constraints: 15150
933.83/936.24 c #Conflicts: 326000 | #Constraints: 16150
933.83/936.24 c #Conflicts: 327000 | #Constraints: 17150
933.83/936.24 c #Conflicts: 328000 | #Constraints: 18150
933.83/936.24 c #Conflicts: 329000 | #Constraints: 19150
933.83/936.24 c #Conflicts: 330000 | #Constraints: 20150
933.83/936.24 c #Conflicts: 331000 | #Constraints: 21150
933.83/936.24 c #Conflicts: 332000 | #Constraints: 22150
933.83/936.24 c #Conflicts: 333000 | #Constraints: 23150
933.83/936.24 c INPROCESSING
933.83/936.24 c GARBAGE COLLECT
933.83/936.24 c #Conflicts: 334000 | #Constraints: 12743
933.83/936.24 c #Conflicts: 335000 | #Constraints: 13743
933.83/936.24 c #Conflicts: 336000 | #Constraints: 14743
933.83/936.24 c #Conflicts: 337000 | #Constraints: 15743
933.83/936.24 c #Conflicts: 338000 | #Constraints: 16743
933.83/936.24 c #Conflicts: 339000 | #Constraints: 17743
933.83/936.24 c #Conflicts: 340000 | #Constraints: 18743
933.83/936.24 c #Conflicts: 341000 | #Constraints: 19743
933.83/936.24 c #Conflicts: 342000 | #Constraints: 20743
933.83/936.24 c #Conflicts: 343000 | #Constraints: 21743
933.83/936.24 c #Conflicts: 344000 | #Constraints: 22743
933.83/936.24 c #Conflicts: 345000 | #Constraints: 23743
933.83/936.24 c INPROCESSING
933.83/936.24 c GARBAGE COLLECT
933.83/936.24 c #Conflicts: 346000 | #Constraints: 13142
933.83/936.24 c #Conflicts: 347000 | #Constraints: 14142
933.83/936.24 c #Conflicts: 348000 | #Constraints: 15142
933.83/936.24 c #Conflicts: 349000 | #Constraints: 16142
933.83/936.24 c #Conflicts: 350000 | #Constraints: 17142
933.83/936.24 c #Conflicts: 351000 | #Constraints: 18142
933.83/936.24 c #Conflicts: 352000 | #Constraints: 19142
933.83/936.24 c #Conflicts: 353000 | #Constraints: 20142
933.83/936.24 c #Conflicts: 354000 | #Constraints: 21142
933.83/936.24 c #Conflicts: 355000 | #Constraints: 22142
933.83/936.24 c #Conflicts: 356000 | #Constraints: 23142
933.83/936.24 c #Conflicts: 357000 | #Constraints: 24142
933.83/936.24 c INPROCESSING
933.83/936.24 c GARBAGE COLLECT
933.83/936.24 c #Conflicts: 358000 | #Constraints: 13346
933.83/936.24 c #Conflicts: 359000 | #Constraints: 14346
933.83/936.24 c #Conflicts: 360000 | #Constraints: 15346
933.83/936.24 c #Conflicts: 361000 | #Constraints: 16346
933.83/936.24 c #Conflicts: 362000 | #Constraints: 17346
933.83/936.24 c #Conflicts: 363000 | #Constraints: 18346
933.83/936.24 c #Conflicts: 364000 | #Constraints: 19346
933.83/936.24 c #Conflicts: 365000 | #Constraints: 20346
933.83/936.24 c #Conflicts: 366000 | #Constraints: 21346
933.83/936.24 c #Conflicts: 367000 | #Constraints: 22346
933.83/936.24 c #Conflicts: 368000 | #Constraints: 23346
933.83/936.24 c #Conflicts: 369000 | #Constraints: 24346
933.83/936.24 c INPROCESSING
933.83/936.24 c GARBAGE COLLECT
933.83/936.24 c #Conflicts: 370000 | #Constraints: 13343
933.83/936.24 c #Conflicts: 371000 | #Constraints: 14343
933.83/936.24 c #Conflicts: 372000 | #Constraints: 15343
933.83/936.24 c #Conflicts: 373000 | #Constraints: 16343
933.83/936.24 c #Conflicts: 374000 | #Constraints: 17343
933.83/936.24 c #Conflicts: 375000 | #Constraints: 18343
933.83/936.24 c #Conflicts: 376000 | #Constraints: 19343
933.83/936.24 c #Conflicts: 377000 | #Constraints: 20343
933.83/936.24 c #Conflicts: 378000 | #Constraints: 21343
933.83/936.24 c #Conflicts: 379000 | #Constraints: 22343
933.83/936.24 c #Conflicts: 380000 | #Constraints: 23343
933.83/936.24 c #Conflicts: 381000 | #Constraints: 24343
933.83/936.24 c INPROCESSING
933.83/936.24 c GARBAGE COLLECT
933.83/936.24 c #Conflicts: 382000 | #Constraints: 13143
933.83/936.24 c #Conflicts: 383000 | #Constraints: 14143
933.83/936.24 c #Conflicts: 384000 | #Constraints: 15143
933.83/936.24 c #Conflicts: 385000 | #Constraints: 16143
933.83/936.24 c #Conflicts: 386000 | #Constraints: 17143
933.83/936.24 c #Conflicts: 387000 | #Constraints: 18143
933.83/936.24 c #Conflicts: 388000 | #Constraints: 19143
933.83/936.24 c #Conflicts: 389000 | #Constraints: 20143
933.83/936.24 c #Conflicts: 390000 | #Constraints: 21143
933.83/936.24 c #Conflicts: 391000 | #Constraints: 22143
933.83/936.24 c #Conflicts: 392000 | #Constraints: 23143
933.83/936.24 c #Conflicts: 393000 | #Constraints: 24143
933.83/936.24 c #Conflicts: 394000 | #Constraints: 25143
933.83/936.24 c INPROCESSING
933.83/936.24 c GARBAGE COLLECT
933.83/936.24 c #Conflicts: 395000 | #Constraints: 13741
1211.88/1215.00 c #Conflicts: 396000 | #Constraints: 14741
1211.88/1215.00 c #Conflicts: 397000 | #Constraints: 15741
1211.88/1215.00 c #Conflicts: 398000 | #Constraints: 16741
1211.88/1215.00 c #Conflicts: 399000 | #Constraints: 17741
1211.88/1215.00 c #Conflicts: 400000 | #Constraints: 18741
1211.88/1215.00 c #Conflicts: 401000 | #Constraints: 19741
1211.88/1215.00 c #Conflicts: 402000 | #Constraints: 20741
1211.88/1215.00 c #Conflicts: 403000 | #Constraints: 21741
1211.88/1215.00 c #Conflicts: 404000 | #Constraints: 22741
1211.88/1215.00 c #Conflicts: 405000 | #Constraints: 23741
1211.88/1215.00 c #Conflicts: 406000 | #Constraints: 24741
1211.88/1215.00 c #Conflicts: 407000 | #Constraints: 25741
1211.88/1215.00 c INPROCESSING
1211.88/1215.00 c GARBAGE COLLECT
1211.88/1215.00 c #Conflicts: 408000 | #Constraints: 14142
1211.88/1215.00 c #Conflicts: 409000 | #Constraints: 15142
1211.88/1215.00 c #Conflicts: 410000 | #Constraints: 16142
1211.88/1215.00 c #Conflicts: 411000 | #Constraints: 17142
1211.88/1215.00 c #Conflicts: 412000 | #Constraints: 18142
1211.88/1215.00 c #Conflicts: 413000 | #Constraints: 19142
1211.88/1215.00 c #Conflicts: 414000 | #Constraints: 20142
1211.88/1215.00 c #Conflicts: 415000 | #Constraints: 21142
1211.88/1215.00 c #Conflicts: 416000 | #Constraints: 22142
1211.88/1215.00 c #Conflicts: 417000 | #Constraints: 23142
1211.88/1215.00 c #Conflicts: 418000 | #Constraints: 24142
1211.88/1215.00 c #Conflicts: 419000 | #Constraints: 25142
1211.88/1215.00 c #Conflicts: 420000 | #Constraints: 26142
1211.88/1215.00 c INPROCESSING
1211.88/1215.00 c GARBAGE COLLECT
1211.88/1215.00 c #Conflicts: 421000 | #Constraints: 14342
1211.88/1215.00 c #Conflicts: 422000 | #Constraints: 15342
1211.88/1215.00 c #Conflicts: 423000 | #Constraints: 16342
1211.88/1215.00 c #Conflicts: 424000 | #Constraints: 17342
1211.88/1215.00 c #Conflicts: 425000 | #Constraints: 18342
1211.88/1215.00 c #Conflicts: 426000 | #Constraints: 19342
1211.88/1215.00 c #Conflicts: 427000 | #Constraints: 20342
1211.88/1215.00 c #Conflicts: 428000 | #Constraints: 21342
1211.88/1215.00 c #Conflicts: 429000 | #Constraints: 22342
1211.88/1215.00 c #Conflicts: 430000 | #Constraints: 23342
1211.88/1215.00 c #Conflicts: 431000 | #Constraints: 24342
1211.88/1215.00 c #Conflicts: 432000 | #Constraints: 25342
1211.88/1215.00 c #Conflicts: 433000 | #Constraints: 26342
1211.88/1215.00 c INPROCESSING
1211.88/1215.00 c GARBAGE COLLECT
1211.88/1215.00 c #Conflicts: 434000 | #Constraints: 14347
1211.88/1215.00 c #Conflicts: 435000 | #Constraints: 15347
1211.88/1215.00 c #Conflicts: 436000 | #Constraints: 16347
1211.88/1215.00 c #Conflicts: 437000 | #Constraints: 17347
1211.88/1215.00 c #Conflicts: 438000 | #Constraints: 18347
1211.88/1215.00 c #Conflicts: 439000 | #Constraints: 19347
1211.88/1215.00 c #Conflicts: 440000 | #Constraints: 20347
1211.88/1215.00 c #Conflicts: 441000 | #Constraints: 21347
1211.88/1215.00 c #Conflicts: 442000 | #Constraints: 22347
1211.88/1215.00 c #Conflicts: 443000 | #Constraints: 23347
1211.88/1215.00 c #Conflicts: 444000 | #Constraints: 24347
1211.88/1215.00 c #Conflicts: 445000 | #Constraints: 25347
1211.88/1215.00 c #Conflicts: 446000 | #Constraints: 26347
1211.88/1215.00 c INPROCESSING
1211.88/1215.00 c GARBAGE COLLECT
1211.88/1215.00 c #Conflicts: 447000 | #Constraints: 14146
1211.88/1215.00 c #Conflicts: 448000 | #Constraints: 15146
1211.88/1215.00 c #Conflicts: 449000 | #Constraints: 16146
1211.88/1215.00 c #Conflicts: 450000 | #Constraints: 17146
1211.88/1215.00 c #Conflicts: 451000 | #Constraints: 18146
1211.88/1215.00 c #Conflicts: 452000 | #Constraints: 19146
1211.88/1215.00 c #Conflicts: 453000 | #Constraints: 20146
1211.88/1215.00 c #Conflicts: 454000 | #Constraints: 21146
1211.88/1215.00 c #Conflicts: 455000 | #Constraints: 22146
1211.88/1215.00 c #Conflicts: 456000 | #Constraints: 23146
1211.88/1215.00 c #Conflicts: 457000 | #Constraints: 24146
1211.88/1215.00 c #Conflicts: 458000 | #Constraints: 25146
1211.88/1215.00 c #Conflicts: 459000 | #Constraints: 26146
1211.88/1215.00 c #Conflicts: 460000 | #Constraints: 27146
1211.88/1215.00 c INPROCESSING
1211.88/1215.00 c GARBAGE COLLECT
1211.88/1215.00 c #Conflicts: 461000 | #Constraints: 14741
1211.88/1215.00 c #Conflicts: 462000 | #Constraints: 15741
1211.88/1215.00 c #Conflicts: 463000 | #Constraints: 16741
1211.88/1215.00 c #Conflicts: 464000 | #Constraints: 17741
1211.88/1215.00 c #Conflicts: 465000 | #Constraints: 18741
1211.88/1215.00 c #Conflicts: 466000 | #Constraints: 19741
1211.88/1215.00 c #Conflicts: 467000 | #Constraints: 20741
1211.88/1215.00 c #Conflicts: 468000 | #Constraints: 21741
1211.88/1215.00 c #Conflicts: 469000 | #Constraints: 22741
1211.88/1215.00 c #Conflicts: 470000 | #Constraints: 23741
1211.88/1215.00 c #Conflicts: 471000 | #Constraints: 24741
1479.16/1482.83 c #Conflicts: 472000 | #Constraints: 25741
1479.16/1482.83 c #Conflicts: 473000 | #Constraints: 26741
1479.16/1482.83 c #Conflicts: 474000 | #Constraints: 27741
1479.16/1482.83 c INPROCESSING
1479.16/1482.83 c GARBAGE COLLECT
1479.16/1482.83 c #Conflicts: 475000 | #Constraints: 15145
1479.16/1482.83 c #Conflicts: 476000 | #Constraints: 16145
1479.16/1482.83 c #Conflicts: 477000 | #Constraints: 17145
1479.16/1482.83 c #Conflicts: 478000 | #Constraints: 18145
1479.16/1482.83 c #Conflicts: 479000 | #Constraints: 19145
1479.16/1482.83 c #Conflicts: 480000 | #Constraints: 20145
1479.16/1482.83 c #Conflicts: 481000 | #Constraints: 21145
1479.16/1482.83 c #Conflicts: 482000 | #Constraints: 22145
1479.16/1482.83 c #Conflicts: 483000 | #Constraints: 23145
1479.16/1482.83 c #Conflicts: 484000 | #Constraints: 24145
1479.16/1482.83 c #Conflicts: 485000 | #Constraints: 25145
1479.16/1482.83 c #Conflicts: 486000 | #Constraints: 26145
1479.16/1482.83 c #Conflicts: 487000 | #Constraints: 27145
1479.16/1482.83 c #Conflicts: 488000 | #Constraints: 28145
1479.16/1482.83 c INPROCESSING
1479.16/1482.83 c GARBAGE COLLECT
1479.16/1482.83 c #Conflicts: 489000 | #Constraints: 15345
1479.16/1482.83 c #Conflicts: 490000 | #Constraints: 16345
1479.16/1482.83 c #Conflicts: 491000 | #Constraints: 17345
1479.16/1482.83 c #Conflicts: 492000 | #Constraints: 18345
1479.16/1482.83 c #Conflicts: 493000 | #Constraints: 19345
1479.16/1482.83 c #Conflicts: 494000 | #Constraints: 20345
1479.16/1482.83 c #Conflicts: 495000 | #Constraints: 21345
1479.16/1482.83 c #Conflicts: 496000 | #Constraints: 22345
1479.16/1482.83 c #Conflicts: 497000 | #Constraints: 23345
1479.16/1482.83 c #Conflicts: 498000 | #Constraints: 24345
1479.16/1482.83 c #Conflicts: 499000 | #Constraints: 25345
1479.16/1482.83 c #Conflicts: 500000 | #Constraints: 26345
1479.16/1482.83 c #Conflicts: 501000 | #Constraints: 27345
1479.16/1482.83 c #Conflicts: 502000 | #Constraints: 28345
1479.16/1482.83 c INPROCESSING
1479.16/1482.83 c GARBAGE COLLECT
1479.16/1482.83 c #Conflicts: 503000 | #Constraints: 15343
1479.16/1482.83 c #Conflicts: 504000 | #Constraints: 16343
1479.16/1482.83 c #Conflicts: 505000 | #Constraints: 17343
1479.16/1482.83 c #Conflicts: 506000 | #Constraints: 18343
1479.16/1482.83 c #Conflicts: 507000 | #Constraints: 19343
1479.16/1482.83 c #Conflicts: 508000 | #Constraints: 20343
1479.16/1482.83 c #Conflicts: 509000 | #Constraints: 21343
1479.16/1482.83 c #Conflicts: 510000 | #Constraints: 22343
1479.16/1482.83 c #Conflicts: 511000 | #Constraints: 23343
1479.16/1482.83 c #Conflicts: 512000 | #Constraints: 24343
1479.16/1482.83 c #Conflicts: 513000 | #Constraints: 25343
1479.16/1482.83 c #Conflicts: 514000 | #Constraints: 26343
1479.16/1482.83 c #Conflicts: 515000 | #Constraints: 27343
1479.16/1482.83 c #Conflicts: 516000 | #Constraints: 28343
1479.16/1482.83 c INPROCESSING
1479.16/1482.83 c GARBAGE COLLECT
1479.16/1482.83 c #Conflicts: 517000 | #Constraints: 15139
1479.16/1482.83 c #Conflicts: 518000 | #Constraints: 16139
1479.16/1482.83 c #Conflicts: 519000 | #Constraints: 17139
1479.16/1482.83 c #Conflicts: 520000 | #Constraints: 18139
1479.16/1482.83 c #Conflicts: 521000 | #Constraints: 19139
1479.16/1482.83 c #Conflicts: 522000 | #Constraints: 20139
1479.16/1482.83 c #Conflicts: 523000 | #Constraints: 21139
1479.16/1482.83 c #Conflicts: 524000 | #Constraints: 22139
1479.16/1482.83 c #Conflicts: 525000 | #Constraints: 23139
1479.16/1482.83 c #Conflicts: 526000 | #Constraints: 24139
1479.16/1482.83 c #Conflicts: 527000 | #Constraints: 25139
1479.16/1482.83 c #Conflicts: 528000 | #Constraints: 26139
1479.16/1482.83 c #Conflicts: 529000 | #Constraints: 27139
1479.16/1482.83 c #Conflicts: 530000 | #Constraints: 28139
1479.16/1482.83 c #Conflicts: 531000 | #Constraints: 29139
1479.16/1482.83 c INPROCESSING
1479.16/1482.83 c GARBAGE COLLECT
1479.16/1482.83 c #Conflicts: 532000 | #Constraints: 15742
1479.16/1482.83 c #Conflicts: 533000 | #Constraints: 16742
1479.16/1482.83 c #Conflicts: 534000 | #Constraints: 17742
1479.16/1482.83 c #Conflicts: 535000 | #Constraints: 18742
1479.16/1482.83 c #Conflicts: 536000 | #Constraints: 19742
1479.16/1482.83 c #Conflicts: 537000 | #Constraints: 20742
1479.16/1482.83 c #Conflicts: 538000 | #Constraints: 21742
1479.16/1482.83 c #Conflicts: 539000 | #Constraints: 22742
1479.16/1482.83 c #Conflicts: 540000 | #Constraints: 23742
1479.16/1482.83 c #Conflicts: 541000 | #Constraints: 24742
1479.16/1482.83 c #Conflicts: 542000 | #Constraints: 25742
1479.16/1482.83 c #Conflicts: 543000 | #Constraints: 26742
1479.16/1482.83 c #Conflicts: 544000 | #Constraints: 27742
1479.16/1482.83 c #Conflicts: 545000 | #Constraints: 28742
1479.16/1482.83 c #Conflicts: 546000 | #Constraints: 29742
1479.16/1482.83 c INPROCESSING
1722.18/1726.41 c GARBAGE COLLECT
1722.18/1726.41 c #Conflicts: 547000 | #Constraints: 16142
1722.18/1726.41 c #Conflicts: 548000 | #Constraints: 17142
1722.18/1726.41 c #Conflicts: 549000 | #Constraints: 18142
1722.18/1726.41 c #Conflicts: 550000 | #Constraints: 19142
1722.18/1726.41 c #Conflicts: 551000 | #Constraints: 20142
1722.18/1726.41 c #Conflicts: 552000 | #Constraints: 21142
1722.18/1726.41 c #Conflicts: 553000 | #Constraints: 22142
1722.18/1726.41 c #Conflicts: 554000 | #Constraints: 23142
1722.18/1726.41 c #Conflicts: 555000 | #Constraints: 24142
1722.18/1726.41 c #Conflicts: 556000 | #Constraints: 25142
1722.18/1726.41 c #Conflicts: 557000 | #Constraints: 26142
1722.18/1726.41 c #Conflicts: 558000 | #Constraints: 27142
1722.18/1726.41 c #Conflicts: 559000 | #Constraints: 28142
1722.18/1726.41 c #Conflicts: 560000 | #Constraints: 29142
1722.18/1726.41 c #Conflicts: 561000 | #Constraints: 30142
1722.18/1726.41 c INPROCESSING
1722.18/1726.41 c GARBAGE COLLECT
1722.18/1726.41 c #Conflicts: 562000 | #Constraints: 16342
1722.18/1726.41 c #Conflicts: 563000 | #Constraints: 17342
1722.18/1726.41 c #Conflicts: 564000 | #Constraints: 18342
1722.18/1726.41 c #Conflicts: 565000 | #Constraints: 19342
1722.18/1726.41 c #Conflicts: 566000 | #Constraints: 20342
1722.18/1726.41 c #Conflicts: 567000 | #Constraints: 21342
1722.18/1726.41 c #Conflicts: 568000 | #Constraints: 22342
1722.18/1726.41 c #Conflicts: 569000 | #Constraints: 23342
1722.18/1726.41 c #Conflicts: 570000 | #Constraints: 24342
1722.18/1726.41 c #Conflicts: 571000 | #Constraints: 25342
1722.18/1726.41 c #Conflicts: 572000 | #Constraints: 26342
1722.18/1726.41 c #Conflicts: 573000 | #Constraints: 27342
1722.18/1726.41 c #Conflicts: 574000 | #Constraints: 28342
1722.18/1726.41 c #Conflicts: 575000 | #Constraints: 29342
1722.18/1726.41 c #Conflicts: 576000 | #Constraints: 30342
1722.18/1726.41 c INPROCESSING
1722.18/1726.41 c GARBAGE COLLECT
1722.18/1726.41 c #Conflicts: 577000 | #Constraints: 16342
1722.18/1726.41 c #Conflicts: 578000 | #Constraints: 17342
1722.18/1726.41 c #Conflicts: 579000 | #Constraints: 18342
1722.18/1726.41 c #Conflicts: 580000 | #Constraints: 19342
1722.18/1726.41 c #Conflicts: 581000 | #Constraints: 20342
1722.18/1726.41 c #Conflicts: 582000 | #Constraints: 21342
1722.18/1726.41 c #Conflicts: 583000 | #Constraints: 22342
1722.18/1726.41 c #Conflicts: 584000 | #Constraints: 23342
1722.18/1726.41 c #Conflicts: 585000 | #Constraints: 24342
1722.18/1726.41 c #Conflicts: 586000 | #Constraints: 25342
1722.18/1726.41 c #Conflicts: 587000 | #Constraints: 26342
1722.18/1726.41 c #Conflicts: 588000 | #Constraints: 27342
1722.18/1726.41 c #Conflicts: 589000 | #Constraints: 28342
1722.18/1726.41 c #Conflicts: 590000 | #Constraints: 29342
1722.18/1726.41 c #Conflicts: 591000 | #Constraints: 30342
1722.18/1726.41 c INPROCESSING
1722.18/1726.41 c GARBAGE COLLECT
1722.18/1726.41 c #Conflicts: 592000 | #Constraints: 16141
1722.18/1726.41 c #Conflicts: 593000 | #Constraints: 17141
1722.18/1726.41 c #Conflicts: 594000 | #Constraints: 18141
1722.18/1726.41 c #Conflicts: 595000 | #Constraints: 19141
1722.18/1726.41 c #Conflicts: 596000 | #Constraints: 20141
1722.18/1726.41 c #Conflicts: 597000 | #Constraints: 21141
1722.18/1726.41 c #Conflicts: 598000 | #Constraints: 22141
1722.18/1726.41 c #Conflicts: 599000 | #Constraints: 23141
1722.18/1726.41 c #Conflicts: 600000 | #Constraints: 24141
1722.18/1726.41 c #Conflicts: 601000 | #Constraints: 25141
1722.18/1726.41 c #Conflicts: 602000 | #Constraints: 26141
1722.18/1726.41 c #Conflicts: 603000 | #Constraints: 27141
1722.18/1726.41 c #Conflicts: 604000 | #Constraints: 28141
1722.18/1726.41 c #Conflicts: 605000 | #Constraints: 29141
1722.18/1726.41 c #Conflicts: 606000 | #Constraints: 30141
1722.18/1726.41 c #Conflicts: 607000 | #Constraints: 31141
1722.18/1726.41 c INPROCESSING
1722.18/1726.41 c GARBAGE COLLECT
1722.18/1726.41 c #Conflicts: 608000 | #Constraints: 16752
1722.18/1726.41 c #Conflicts: 609000 | #Constraints: 17752
1722.18/1726.41 c #Conflicts: 610000 | #Constraints: 18752
1722.18/1726.41 c #Conflicts: 611000 | #Constraints: 19752
1722.18/1726.41 c #Conflicts: 612000 | #Constraints: 20752
1722.18/1726.41 c #Conflicts: 613000 | #Constraints: 21752
1722.18/1726.41 c #Conflicts: 614000 | #Constraints: 22752
1722.18/1726.41 c #Conflicts: 615000 | #Constraints: 23752
1722.18/1726.41 c #Conflicts: 616000 | #Constraints: 24752
1722.18/1726.41 c #Conflicts: 617000 | #Constraints: 25752
1722.18/1726.41 c #Conflicts: 618000 | #Constraints: 26752
1722.18/1726.41 c #Conflicts: 619000 | #Constraints: 27752
1722.18/1726.41 c #Conflicts: 620000 | #Constraints: 28752
1722.18/1726.41 c #Conflicts: 621000 | #Constraints: 29752
1722.18/1726.41 c #Conflicts: 622000 | #Constraints: 30752
1959.00/1963.84 c #Conflicts: 623000 | #Constraints: 31752
1959.00/1963.84 c INPROCESSING
1959.00/1963.84 c GARBAGE COLLECT
1959.00/1963.84 c #Conflicts: 624000 | #Constraints: 17146
1959.00/1963.84 c #Conflicts: 625000 | #Constraints: 18146
1959.00/1963.84 c #Conflicts: 626000 | #Constraints: 19146
1959.00/1963.84 c #Conflicts: 627000 | #Constraints: 20146
1959.00/1963.84 c #Conflicts: 628000 | #Constraints: 21146
1959.00/1963.84 c #Conflicts: 629000 | #Constraints: 22146
1959.00/1963.84 c #Conflicts: 630000 | #Constraints: 23146
1959.00/1963.84 c #Conflicts: 631000 | #Constraints: 24146
1959.00/1963.84 c #Conflicts: 632000 | #Constraints: 25146
1959.00/1963.84 c #Conflicts: 633000 | #Constraints: 26146
1959.00/1963.84 c #Conflicts: 634000 | #Constraints: 27146
1959.00/1963.84 c #Conflicts: 635000 | #Constraints: 28146
1959.00/1963.84 c #Conflicts: 636000 | #Constraints: 29146
1959.00/1963.84 c #Conflicts: 637000 | #Constraints: 30146
1959.00/1963.84 c #Conflicts: 638000 | #Constraints: 31146
1959.00/1963.84 c #Conflicts: 639000 | #Constraints: 32146
1959.00/1963.84 c INPROCESSING
1959.00/1963.84 c GARBAGE COLLECT
1959.00/1963.84 c #Conflicts: 640000 | #Constraints: 17342
1959.00/1963.84 c #Conflicts: 641000 | #Constraints: 18342
1959.00/1963.84 c #Conflicts: 642000 | #Constraints: 19342
1959.00/1963.84 c #Conflicts: 643000 | #Constraints: 20342
1959.00/1963.84 c #Conflicts: 644000 | #Constraints: 21342
1959.00/1963.84 c #Conflicts: 645000 | #Constraints: 22342
1959.00/1963.84 c #Conflicts: 646000 | #Constraints: 23342
1959.00/1963.84 c #Conflicts: 647000 | #Constraints: 24342
1959.00/1963.84 c #Conflicts: 648000 | #Constraints: 25342
1959.00/1963.84 c #Conflicts: 649000 | #Constraints: 26342
1959.00/1963.84 c #Conflicts: 650000 | #Constraints: 27342
1959.00/1963.84 c #Conflicts: 651000 | #Constraints: 28342
1959.00/1963.84 c #Conflicts: 652000 | #Constraints: 29342
1959.00/1963.84 c #Conflicts: 653000 | #Constraints: 30342
1959.00/1963.84 c #Conflicts: 654000 | #Constraints: 31342
1959.00/1963.84 c #Conflicts: 655000 | #Constraints: 32342
1959.00/1963.84 c INPROCESSING
1959.00/1963.84 c GARBAGE COLLECT
1959.00/1963.84 c #Conflicts: 656000 | #Constraints: 17341
1959.00/1963.84 c #Conflicts: 657000 | #Constraints: 18341
1959.00/1963.84 c #Conflicts: 658000 | #Constraints: 19341
1959.00/1963.84 c #Conflicts: 659000 | #Constraints: 20341
1959.00/1963.84 c #Conflicts: 660000 | #Constraints: 21341
1959.00/1963.84 c #Conflicts: 661000 | #Constraints: 22341
1959.00/1963.84 c #Conflicts: 662000 | #Constraints: 23341
1959.00/1963.84 c #Conflicts: 663000 | #Constraints: 24341
1959.00/1963.84 c #Conflicts: 664000 | #Constraints: 25341
1959.00/1963.84 c #Conflicts: 665000 | #Constraints: 26341
1959.00/1963.84 c #Conflicts: 666000 | #Constraints: 27341
1959.00/1963.84 c #Conflicts: 667000 | #Constraints: 28341
1959.00/1963.84 c #Conflicts: 668000 | #Constraints: 29341
1959.00/1963.84 c #Conflicts: 669000 | #Constraints: 30341
1959.00/1963.84 c #Conflicts: 670000 | #Constraints: 31341
1959.00/1963.84 c #Conflicts: 671000 | #Constraints: 32341
1959.00/1963.84 c INPROCESSING
1959.00/1963.84 c GARBAGE COLLECT
1959.00/1963.84 c #Conflicts: 672000 | #Constraints: 17136
1959.00/1963.84 c #Conflicts: 673000 | #Constraints: 18136
1959.00/1963.84 c #Conflicts: 674000 | #Constraints: 19136
1959.00/1963.84 c #Conflicts: 675000 | #Constraints: 20136
1959.00/1963.84 c #Conflicts: 676000 | #Constraints: 21136
1959.00/1963.84 c #Conflicts: 677000 | #Constraints: 22136
1959.00/1963.84 c #Conflicts: 678000 | #Constraints: 23136
1959.00/1963.84 c #Conflicts: 679000 | #Constraints: 24136
1959.00/1963.84 c #Conflicts: 680000 | #Constraints: 25136
1959.00/1963.84 c #Conflicts: 681000 | #Constraints: 26136
1959.00/1963.84 c #Conflicts: 682000 | #Constraints: 27136
1959.00/1963.84 c #Conflicts: 683000 | #Constraints: 28136
1959.00/1963.84 c #Conflicts: 684000 | #Constraints: 29136
1959.00/1963.84 c #Conflicts: 685000 | #Constraints: 30136
1959.00/1963.84 c #Conflicts: 686000 | #Constraints: 31136
1959.00/1963.84 c #Conflicts: 687000 | #Constraints: 32136
1959.00/1963.84 c #Conflicts: 688000 | #Constraints: 33136
1959.00/1963.84 c INPROCESSING
1959.00/1963.84 c GARBAGE COLLECT
1959.00/1963.84 c #Conflicts: 689000 | #Constraints: 17738
1959.00/1963.84 c #Conflicts: 690000 | #Constraints: 18738
1959.00/1963.84 c #Conflicts: 691000 | #Constraints: 19738
1959.00/1963.84 c #Conflicts: 692000 | #Constraints: 20738
1959.00/1963.84 c #Conflicts: 693000 | #Constraints: 21738
1959.00/1963.84 c #Conflicts: 694000 | #Constraints: 22738
1959.00/1963.84 c #Conflicts: 695000 | #Constraints: 23738
1959.00/1963.84 c #Conflicts: 696000 | #Constraints: 24738
1959.00/1963.84 c #Conflicts: 697000 | #Constraints: 25738
1959.00/1963.84 c #Conflicts: 698000 | #Constraints: 26738
2214.09/2219.56 c #Conflicts: 699000 | #Constraints: 27738
2214.09/2219.56 c #Conflicts: 700000 | #Constraints: 28738
2214.09/2219.56 c #Conflicts: 701000 | #Constraints: 29738
2214.09/2219.56 c #Conflicts: 702000 | #Constraints: 30738
2214.09/2219.56 c #Conflicts: 703000 | #Constraints: 31738
2214.09/2219.56 c #Conflicts: 704000 | #Constraints: 32738
2214.09/2219.56 c #Conflicts: 705000 | #Constraints: 33738
2214.09/2219.56 c INPROCESSING
2214.09/2219.56 c GARBAGE COLLECT
2214.09/2219.56 c #Conflicts: 706000 | #Constraints: 18143
2214.09/2219.56 c #Conflicts: 707000 | #Constraints: 19143
2214.09/2219.56 c #Conflicts: 708000 | #Constraints: 20143
2214.09/2219.56 c #Conflicts: 709000 | #Constraints: 21143
2214.09/2219.56 c #Conflicts: 710000 | #Constraints: 22143
2214.09/2219.56 c #Conflicts: 711000 | #Constraints: 23143
2214.09/2219.56 c #Conflicts: 712000 | #Constraints: 24143
2214.09/2219.56 c #Conflicts: 713000 | #Constraints: 25143
2214.09/2219.56 c #Conflicts: 714000 | #Constraints: 26143
2214.09/2219.56 c #Conflicts: 715000 | #Constraints: 27143
2214.09/2219.56 c #Conflicts: 716000 | #Constraints: 28143
2214.09/2219.56 c #Conflicts: 717000 | #Constraints: 29143
2214.09/2219.56 c #Conflicts: 718000 | #Constraints: 30143
2214.09/2219.56 c #Conflicts: 719000 | #Constraints: 31143
2214.09/2219.56 c #Conflicts: 720000 | #Constraints: 32143
2214.09/2219.56 c #Conflicts: 721000 | #Constraints: 33143
2214.09/2219.56 c #Conflicts: 722000 | #Constraints: 34143
2214.09/2219.56 c INPROCESSING
2214.09/2219.56 c GARBAGE COLLECT
2214.09/2219.56 c #Conflicts: 723000 | #Constraints: 18347
2214.09/2219.56 c #Conflicts: 724000 | #Constraints: 19347
2214.09/2219.56 c #Conflicts: 725000 | #Constraints: 20347
2214.09/2219.56 c #Conflicts: 726000 | #Constraints: 21347
2214.09/2219.56 c #Conflicts: 727000 | #Constraints: 22347
2214.09/2219.56 c #Conflicts: 728000 | #Constraints: 23347
2214.09/2219.56 c #Conflicts: 729000 | #Constraints: 24347
2214.09/2219.56 c #Conflicts: 730000 | #Constraints: 25347
2214.09/2219.56 c #Conflicts: 731000 | #Constraints: 26347
2214.09/2219.56 c #Conflicts: 732000 | #Constraints: 27347
2214.09/2219.56 c #Conflicts: 733000 | #Constraints: 28347
2214.09/2219.56 c #Conflicts: 734000 | #Constraints: 29347
2214.09/2219.56 c #Conflicts: 735000 | #Constraints: 30347
2214.09/2219.56 c #Conflicts: 736000 | #Constraints: 31347
2214.09/2219.56 c #Conflicts: 737000 | #Constraints: 32347
2214.09/2219.56 c #Conflicts: 738000 | #Constraints: 33347
2214.09/2219.56 c #Conflicts: 739000 | #Constraints: 34347
2214.09/2219.56 c INPROCESSING
2214.09/2219.56 c GARBAGE COLLECT
2214.09/2219.56 c #Conflicts: 740000 | #Constraints: 18347
2214.09/2219.56 c #Conflicts: 741000 | #Constraints: 19347
2214.09/2219.56 c #Conflicts: 742000 | #Constraints: 20347
2214.09/2219.56 c #Conflicts: 743000 | #Constraints: 21347
2214.09/2219.56 c #Conflicts: 744000 | #Constraints: 22347
2214.09/2219.56 c #Conflicts: 745000 | #Constraints: 23347
2214.09/2219.56 c #Conflicts: 746000 | #Constraints: 24347
2214.09/2219.56 c #Conflicts: 747000 | #Constraints: 25347
2214.09/2219.56 c #Conflicts: 748000 | #Constraints: 26347
2214.09/2219.56 c #Conflicts: 749000 | #Constraints: 27347
2214.09/2219.56 c #Conflicts: 750000 | #Constraints: 28347
2214.09/2219.56 c #Conflicts: 751000 | #Constraints: 29347
2214.09/2219.56 c #Conflicts: 752000 | #Constraints: 30347
2214.09/2219.56 c #Conflicts: 753000 | #Constraints: 31347
2214.09/2219.56 c #Conflicts: 754000 | #Constraints: 32347
2214.09/2219.56 c #Conflicts: 755000 | #Constraints: 33347
2214.09/2219.56 c #Conflicts: 756000 | #Constraints: 34347
2214.09/2219.56 c INPROCESSING
2214.09/2219.56 c GARBAGE COLLECT
2214.09/2219.56 c #Conflicts: 757000 | #Constraints: 18147
2214.09/2219.56 c #Conflicts: 758000 | #Constraints: 19147
2214.09/2219.56 c #Conflicts: 759000 | #Constraints: 20147
2214.09/2219.56 c #Conflicts: 760000 | #Constraints: 21147
2214.09/2219.56 c #Conflicts: 761000 | #Constraints: 22147
2214.09/2219.56 c #Conflicts: 762000 | #Constraints: 23147
2214.09/2219.56 c #Conflicts: 763000 | #Constraints: 24147
2214.09/2219.56 c #Conflicts: 764000 | #Constraints: 25147
2214.09/2219.56 c #Conflicts: 765000 | #Constraints: 26147
2214.09/2219.56 c #Conflicts: 766000 | #Constraints: 27147
2214.09/2219.56 c #Conflicts: 767000 | #Constraints: 28147
2214.09/2219.56 c #Conflicts: 768000 | #Constraints: 29147
2214.09/2219.56 c #Conflicts: 769000 | #Constraints: 30147
2214.09/2219.56 c #Conflicts: 770000 | #Constraints: 31147
2214.09/2219.56 c #Conflicts: 771000 | #Constraints: 32147
2214.09/2219.56 c #Conflicts: 772000 | #Constraints: 33147
2214.09/2219.56 c #Conflicts: 773000 | #Constraints: 34147
2214.09/2219.56 c #Conflicts: 774000 | #Constraints: 35147
2465.69/2471.78 c INPROCESSING
2465.69/2471.78 c GARBAGE COLLECT
2465.69/2471.78 c #Conflicts: 775000 | #Constraints: 18745
2465.69/2471.78 c #Conflicts: 776000 | #Constraints: 19745
2465.69/2471.78 c #Conflicts: 777000 | #Constraints: 20745
2465.69/2471.78 c #Conflicts: 778000 | #Constraints: 21745
2465.69/2471.78 c #Conflicts: 779000 | #Constraints: 22745
2465.69/2471.78 c #Conflicts: 780000 | #Constraints: 23745
2465.69/2471.78 c #Conflicts: 781000 | #Constraints: 24745
2465.69/2471.78 c #Conflicts: 782000 | #Constraints: 25745
2465.69/2471.78 c #Conflicts: 783000 | #Constraints: 26745
2465.69/2471.78 c #Conflicts: 784000 | #Constraints: 27745
2465.69/2471.78 c #Conflicts: 785000 | #Constraints: 28745
2465.69/2471.78 c #Conflicts: 786000 | #Constraints: 29745
2465.69/2471.78 c #Conflicts: 787000 | #Constraints: 30745
2465.69/2471.78 c #Conflicts: 788000 | #Constraints: 31745
2465.69/2471.78 c #Conflicts: 789000 | #Constraints: 32745
2465.69/2471.78 c #Conflicts: 790000 | #Constraints: 33745
2465.69/2471.78 c #Conflicts: 791000 | #Constraints: 34745
2465.69/2471.78 c #Conflicts: 792000 | #Constraints: 35745
2465.69/2471.78 c INPROCESSING
2465.69/2471.78 c GARBAGE COLLECT
2465.69/2471.78 c #Conflicts: 793000 | #Constraints: 19143
2465.69/2471.78 c #Conflicts: 794000 | #Constraints: 20143
2465.69/2471.78 c #Conflicts: 795000 | #Constraints: 21143
2465.69/2471.78 c #Conflicts: 796000 | #Constraints: 22143
2465.69/2471.78 c #Conflicts: 797000 | #Constraints: 23143
2465.69/2471.78 c #Conflicts: 798000 | #Constraints: 24143
2465.69/2471.78 c #Conflicts: 799000 | #Constraints: 25143
2465.69/2471.78 c #Conflicts: 800000 | #Constraints: 26143
2465.69/2471.78 c #Conflicts: 801000 | #Constraints: 27143
2465.69/2471.78 c #Conflicts: 802000 | #Constraints: 28143
2465.69/2471.78 c #Conflicts: 803000 | #Constraints: 29143
2465.69/2471.78 c #Conflicts: 804000 | #Constraints: 30143
2465.69/2471.78 c #Conflicts: 805000 | #Constraints: 31143
2465.69/2471.78 c #Conflicts: 806000 | #Constraints: 32143
2465.69/2471.78 c #Conflicts: 807000 | #Constraints: 33143
2465.69/2471.78 c #Conflicts: 808000 | #Constraints: 34143
2465.69/2471.78 c #Conflicts: 809000 | #Constraints: 35143
2465.69/2471.78 c #Conflicts: 810000 | #Constraints: 36143
2465.69/2471.78 c INPROCESSING
2465.69/2471.78 c GARBAGE COLLECT
2465.69/2471.78 c #Conflicts: 811000 | #Constraints: 19342
2465.69/2471.78 c #Conflicts: 812000 | #Constraints: 20342
2465.69/2471.78 c #Conflicts: 813000 | #Constraints: 21342
2465.69/2471.78 c #Conflicts: 814000 | #Constraints: 22342
2465.69/2471.78 c #Conflicts: 815000 | #Constraints: 23342
2465.69/2471.78 c #Conflicts: 816000 | #Constraints: 24342
2465.69/2471.78 c #Conflicts: 817000 | #Constraints: 25342
2465.69/2471.78 c #Conflicts: 818000 | #Constraints: 26342
2465.69/2471.78 c #Conflicts: 819000 | #Constraints: 27342
2465.69/2471.78 c #Conflicts: 820000 | #Constraints: 28342
2465.69/2471.78 c #Conflicts: 821000 | #Constraints: 29342
2465.69/2471.78 c #Conflicts: 822000 | #Constraints: 30342
2465.69/2471.78 c #Conflicts: 823000 | #Constraints: 31342
2465.69/2471.78 c #Conflicts: 824000 | #Constraints: 32342
2465.69/2471.78 c #Conflicts: 825000 | #Constraints: 33342
2465.69/2471.78 c #Conflicts: 826000 | #Constraints: 34342
2465.69/2471.78 c #Conflicts: 827000 | #Constraints: 35342
2465.69/2471.78 c #Conflicts: 828000 | #Constraints: 36342
2465.69/2471.78 c INPROCESSING
2465.69/2471.78 c GARBAGE COLLECT
2465.69/2471.78 c #Conflicts: 829000 | #Constraints: 19348
2465.69/2471.78 c #Conflicts: 830000 | #Constraints: 20348
2465.69/2471.78 c #Conflicts: 831000 | #Constraints: 21348
2465.69/2471.78 c #Conflicts: 832000 | #Constraints: 22348
2465.69/2471.78 c #Conflicts: 833000 | #Constraints: 23348
2465.69/2471.78 c #Conflicts: 834000 | #Constraints: 24348
2465.69/2471.78 c #Conflicts: 835000 | #Constraints: 25348
2465.69/2471.78 c #Conflicts: 836000 | #Constraints: 26348
2465.69/2471.78 c #Conflicts: 837000 | #Constraints: 27348
2465.69/2471.78 c #Conflicts: 838000 | #Constraints: 28348
2465.69/2471.78 c #Conflicts: 839000 | #Constraints: 29348
2465.69/2471.78 c #Conflicts: 840000 | #Constraints: 30348
2465.69/2471.78 c #Conflicts: 841000 | #Constraints: 31348
2465.69/2471.78 c #Conflicts: 842000 | #Constraints: 32348
2465.69/2471.78 c #Conflicts: 843000 | #Constraints: 33348
2465.69/2471.78 c #Conflicts: 844000 | #Constraints: 34348
2465.69/2471.78 c #Conflicts: 845000 | #Constraints: 35348
2465.69/2471.78 c #Conflicts: 846000 | #Constraints: 36348
2465.69/2471.78 c INPROCESSING
2465.69/2471.78 c GARBAGE COLLECT
2465.69/2471.78 c #Conflicts: 847000 | #Constraints: 19146
2465.69/2471.78 c #Conflicts: 848000 | #Constraints: 20146
2465.69/2471.78 c #Conflicts: 849000 | #Constraints: 21146
2465.69/2471.78 c #Conflicts: 850000 | #Constraints: 22146
2784.40/2791.26 c #Conflicts: 851000 | #Constraints: 23146
2784.40/2791.26 c #Conflicts: 852000 | #Constraints: 24146
2784.40/2791.26 c #Conflicts: 853000 | #Constraints: 25146
2784.40/2791.26 c #Conflicts: 854000 | #Constraints: 26146
2784.40/2791.26 c #Conflicts: 855000 | #Constraints: 27146
2784.40/2791.26 c #Conflicts: 856000 | #Constraints: 28146
2784.40/2791.26 c #Conflicts: 857000 | #Constraints: 29146
2784.40/2791.26 c #Conflicts: 858000 | #Constraints: 30146
2784.40/2791.26 c #Conflicts: 859000 | #Constraints: 31146
2784.40/2791.26 c #Conflicts: 860000 | #Constraints: 32146
2784.40/2791.26 c #Conflicts: 861000 | #Constraints: 33146
2784.40/2791.26 c #Conflicts: 862000 | #Constraints: 34146
2784.40/2791.26 c #Conflicts: 863000 | #Constraints: 35146
2784.40/2791.26 c #Conflicts: 864000 | #Constraints: 36146
2784.40/2791.26 c #Conflicts: 865000 | #Constraints: 37146
2784.40/2791.26 c INPROCESSING
2784.40/2791.26 c GARBAGE COLLECT
2784.40/2791.26 c #Conflicts: 866000 | #Constraints: 19746
2784.40/2791.26 c #Conflicts: 867000 | #Constraints: 20746
2784.40/2791.26 c #Conflicts: 868000 | #Constraints: 21746
2784.40/2791.26 c #Conflicts: 869000 | #Constraints: 22746
2784.40/2791.26 c #Conflicts: 870000 | #Constraints: 23746
2784.40/2791.26 c #Conflicts: 871000 | #Constraints: 24746
2784.40/2791.26 c #Conflicts: 872000 | #Constraints: 25746
2784.40/2791.26 c #Conflicts: 873000 | #Constraints: 26746
2784.40/2791.26 c #Conflicts: 874000 | #Constraints: 27746
2784.40/2791.26 c #Conflicts: 875000 | #Constraints: 28746
2784.40/2791.26 c #Conflicts: 876000 | #Constraints: 29746
2784.40/2791.26 c #Conflicts: 877000 | #Constraints: 30746
2784.40/2791.26 c #Conflicts: 878000 | #Constraints: 31746
2784.40/2791.26 c #Conflicts: 879000 | #Constraints: 32746
2784.40/2791.26 c #Conflicts: 880000 | #Constraints: 33746
2784.40/2791.26 c #Conflicts: 881000 | #Constraints: 34746
2784.40/2791.26 c #Conflicts: 882000 | #Constraints: 35746
2784.40/2791.26 c #Conflicts: 883000 | #Constraints: 36746
2784.40/2791.26 c #Conflicts: 884000 | #Constraints: 37746
2784.40/2791.26 c INPROCESSING
2784.40/2791.26 c GARBAGE COLLECT
2784.40/2791.26 c #Conflicts: 885000 | #Constraints: 20138
2784.40/2791.26 c #Conflicts: 886000 | #Constraints: 21138
2784.40/2791.26 c #Conflicts: 887000 | #Constraints: 22138
2784.40/2791.26 c #Conflicts: 888000 | #Constraints: 23138
2784.40/2791.26 c #Conflicts: 889000 | #Constraints: 24138
2784.40/2791.26 c #Conflicts: 890000 | #Constraints: 25138
2784.40/2791.26 c #Conflicts: 891000 | #Constraints: 26138
2784.40/2791.26 c #Conflicts: 892000 | #Constraints: 27138
2784.40/2791.26 c #Conflicts: 893000 | #Constraints: 28138
2784.40/2791.26 c #Conflicts: 894000 | #Constraints: 29138
2784.40/2791.26 c #Conflicts: 895000 | #Constraints: 30138
2784.40/2791.26 c #Conflicts: 896000 | #Constraints: 31138
2784.40/2791.26 c #Conflicts: 897000 | #Constraints: 32138
2784.40/2791.26 c #Conflicts: 898000 | #Constraints: 33138
2784.40/2791.26 c #Conflicts: 899000 | #Constraints: 34138
2784.40/2791.26 c #Conflicts: 900000 | #Constraints: 35138
2784.40/2791.26 c #Conflicts: 901000 | #Constraints: 36138
2784.40/2791.26 c #Conflicts: 902000 | #Constraints: 37138
2784.40/2791.26 c #Conflicts: 903000 | #Constraints: 38138
2784.40/2791.26 c INPROCESSING
2784.40/2791.26 c GARBAGE COLLECT
2784.40/2791.26 c #Conflicts: 904000 | #Constraints: 20346
2784.40/2791.26 c #Conflicts: 905000 | #Constraints: 21346
2784.40/2791.26 c #Conflicts: 906000 | #Constraints: 22346
2784.40/2791.26 c #Conflicts: 907000 | #Constraints: 23346
2784.40/2791.26 c #Conflicts: 908000 | #Constraints: 24346
2784.40/2791.26 c #Conflicts: 909000 | #Constraints: 25346
2784.40/2791.26 c #Conflicts: 910000 | #Constraints: 26346
2784.40/2791.26 c #Conflicts: 911000 | #Constraints: 27346
2784.40/2791.26 c #Conflicts: 912000 | #Constraints: 28346
2784.40/2791.26 c #Conflicts: 913000 | #Constraints: 29346
2784.40/2791.26 c #Conflicts: 914000 | #Constraints: 30346
2784.40/2791.26 c #Conflicts: 915000 | #Constraints: 31346
2784.40/2791.26 c #Conflicts: 916000 | #Constraints: 32346
2784.40/2791.26 c #Conflicts: 917000 | #Constraints: 33346
2784.40/2791.26 c #Conflicts: 918000 | #Constraints: 34346
2784.40/2791.26 c #Conflicts: 919000 | #Constraints: 35346
2784.40/2791.26 c #Conflicts: 920000 | #Constraints: 36346
2784.40/2791.26 c #Conflicts: 921000 | #Constraints: 37346
2784.40/2791.26 c #Conflicts: 922000 | #Constraints: 38346
2784.40/2791.26 c INPROCESSING
2784.40/2791.26 c GARBAGE COLLECT
2784.40/2791.26 c #Conflicts: 923000 | #Constraints: 20346
2784.40/2791.26 c #Conflicts: 924000 | #Constraints: 21346
2784.40/2791.26 c #Conflicts: 925000 | #Constraints: 22346
2784.40/2791.26 c #Conflicts: 926000 | #Constraints: 23346
3146.29/3154.02 c #Conflicts: 927000 | #Constraints: 24346
3146.29/3154.02 c #Conflicts: 928000 | #Constraints: 25346
3146.29/3154.02 c #Conflicts: 929000 | #Constraints: 26346
3146.29/3154.02 c #Conflicts: 930000 | #Constraints: 27346
3146.29/3154.02 c #Conflicts: 931000 | #Constraints: 28346
3146.29/3154.02 c #Conflicts: 932000 | #Constraints: 29346
3146.29/3154.02 c #Conflicts: 933000 | #Constraints: 30346
3146.29/3154.02 c #Conflicts: 934000 | #Constraints: 31346
3146.29/3154.02 c #Conflicts: 935000 | #Constraints: 32346
3146.29/3154.02 c #Conflicts: 936000 | #Constraints: 33346
3146.29/3154.02 c #Conflicts: 937000 | #Constraints: 34346
3146.29/3154.02 c #Conflicts: 938000 | #Constraints: 35346
3146.29/3154.02 c #Conflicts: 939000 | #Constraints: 36346
3146.29/3154.02 c #Conflicts: 940000 | #Constraints: 37346
3146.29/3154.02 c #Conflicts: 941000 | #Constraints: 38346
3146.29/3154.02 c INPROCESSING
3146.29/3154.02 c GARBAGE COLLECT
3146.29/3154.02 c #Conflicts: 942000 | #Constraints: 20152
3146.29/3154.02 c #Conflicts: 943000 | #Constraints: 21152
3146.29/3154.02 c #Conflicts: 944000 | #Constraints: 22152
3146.29/3154.02 c #Conflicts: 945000 | #Constraints: 23152
3146.29/3154.02 c #Conflicts: 946000 | #Constraints: 24152
3146.29/3154.02 c #Conflicts: 947000 | #Constraints: 25152
3146.29/3154.02 c #Conflicts: 948000 | #Constraints: 26152
3146.29/3154.02 c #Conflicts: 949000 | #Constraints: 27152
3146.29/3154.02 c #Conflicts: 950000 | #Constraints: 28152
3146.29/3154.02 c #Conflicts: 951000 | #Constraints: 29152
3146.29/3154.02 c #Conflicts: 952000 | #Constraints: 30152
3146.29/3154.02 c #Conflicts: 953000 | #Constraints: 31152
3146.29/3154.02 c #Conflicts: 954000 | #Constraints: 32152
3146.29/3154.02 c #Conflicts: 955000 | #Constraints: 33152
3146.29/3154.02 c #Conflicts: 956000 | #Constraints: 34152
3146.29/3154.02 c #Conflicts: 957000 | #Constraints: 35152
3146.29/3154.02 c #Conflicts: 958000 | #Constraints: 36152
3146.29/3154.02 c #Conflicts: 959000 | #Constraints: 37152
3146.29/3154.02 c #Conflicts: 960000 | #Constraints: 38152
3146.29/3154.02 c #Conflicts: 961000 | #Constraints: 39152
3146.29/3154.02 c INPROCESSING
3146.29/3154.02 c GARBAGE COLLECT
3146.29/3154.02 c #Conflicts: 962000 | #Constraints: 20759
3146.29/3154.02 c #Conflicts: 963000 | #Constraints: 21759
3146.29/3154.02 c #Conflicts: 964000 | #Constraints: 22759
3146.29/3154.02 c #Conflicts: 965000 | #Constraints: 23759
3146.29/3154.02 c #Conflicts: 966000 | #Constraints: 24759
3146.29/3154.02 c #Conflicts: 967000 | #Constraints: 25759
3146.29/3154.02 c #Conflicts: 968000 | #Constraints: 26759
3146.29/3154.02 c #Conflicts: 969000 | #Constraints: 27759
3146.29/3154.02 c #Conflicts: 970000 | #Constraints: 28759
3146.29/3154.02 c #Conflicts: 971000 | #Constraints: 29759
3146.29/3154.02 c #Conflicts: 972000 | #Constraints: 30759
3146.29/3154.02 c #Conflicts: 973000 | #Constraints: 31759
3146.29/3154.02 c #Conflicts: 974000 | #Constraints: 32759
3146.29/3154.02 c #Conflicts: 975000 | #Constraints: 33759
3146.29/3154.02 c #Conflicts: 976000 | #Constraints: 34759
3146.29/3154.02 c #Conflicts: 977000 | #Constraints: 35759
3146.29/3154.02 c #Conflicts: 978000 | #Constraints: 36759
3146.29/3154.02 c #Conflicts: 979000 | #Constraints: 37759
3146.29/3154.02 c #Conflicts: 980000 | #Constraints: 38759
3146.29/3154.02 c #Conflicts: 981000 | #Constraints: 39759
3146.29/3154.02 c INPROCESSING
3146.29/3154.02 c GARBAGE COLLECT
3146.29/3154.02 c #Conflicts: 982000 | #Constraints: 21155
3146.29/3154.02 c #Conflicts: 983000 | #Constraints: 22155
3146.29/3154.02 c #Conflicts: 984000 | #Constraints: 23155
3146.29/3154.02 c #Conflicts: 985000 | #Constraints: 24155
3146.29/3154.02 c #Conflicts: 986000 | #Constraints: 25155
3146.29/3154.02 c #Conflicts: 987000 | #Constraints: 26155
3146.29/3154.02 c #Conflicts: 988000 | #Constraints: 27155
3146.29/3154.02 c #Conflicts: 989000 | #Constraints: 28155
3146.29/3154.02 c #Conflicts: 990000 | #Constraints: 29155
3146.29/3154.02 c #Conflicts: 991000 | #Constraints: 30155
3146.29/3154.02 c #Conflicts: 992000 | #Constraints: 31155
3146.29/3154.02 c #Conflicts: 993000 | #Constraints: 32155
3146.29/3154.02 c #Conflicts: 994000 | #Constraints: 33155
3146.29/3154.02 c #Conflicts: 995000 | #Constraints: 34155
3146.29/3154.02 c #Conflicts: 996000 | #Constraints: 35155
3146.29/3154.02 c #Conflicts: 997000 | #Constraints: 36155
3146.29/3154.02 c #Conflicts: 998000 | #Constraints: 37155
3146.29/3154.02 c #Conflicts: 999000 | #Constraints: 38155
3146.29/3154.02 c #Conflicts: 1000000 | #Constraints: 39155
3146.29/3154.02 c #Conflicts: 1001000 | #Constraints: 40155
3146.29/3154.02 c INPROCESSING
3146.29/3154.02 c GARBAGE COLLECT
3146.29/3154.02 c #Conflicts: 1002000 | #Constraints: 21353
3600.08/3609.00 c #Conflicts: 1003000 | #Constraints: 22353
3600.08/3609.00 c #Conflicts: 1004000 | #Constraints: 23353
3600.08/3609.00 c #Conflicts: 1005000 | #Constraints: 24353
3600.08/3609.00 c #Conflicts: 1006000 | #Constraints: 25353
3600.08/3609.00 c #Conflicts: 1007000 | #Constraints: 26353
3600.08/3609.00 c #Conflicts: 1008000 | #Constraints: 27353
3600.08/3609.00 c #Conflicts: 1009000 | #Constraints: 28353
3600.08/3609.00 c #Conflicts: 1010000 | #Constraints: 29353
3600.08/3609.00 c #Conflicts: 1011000 | #Constraints: 30353
3600.08/3609.00 c #Conflicts: 1012000 | #Constraints: 31353
3600.08/3609.00 c #Conflicts: 1013000 | #Constraints: 32353
3600.08/3609.00 c #Conflicts: 1014000 | #Constraints: 33353
3600.08/3609.00 c #Conflicts: 1015000 | #Constraints: 34353
3600.08/3609.00 c #Conflicts: 1016000 | #Constraints: 35353
3600.08/3609.00 c #Conflicts: 1017000 | #Constraints: 36353
3600.08/3609.00 c #Conflicts: 1018000 | #Constraints: 37353
3600.08/3609.00 c #Conflicts: 1019000 | #Constraints: 38353
3600.08/3609.00 c #Conflicts: 1020000 | #Constraints: 39353
3600.08/3609.00 c #Conflicts: 1021000 | #Constraints: 40353
3600.08/3609.00 c INPROCESSING
3600.08/3609.00 c GARBAGE COLLECT
3600.08/3609.00 c #Conflicts: 1022000 | #Constraints: 21357
3600.08/3609.00 c #Conflicts: 1023000 | #Constraints: 22357
3600.08/3609.00 c #Conflicts: 1024000 | #Constraints: 23357
3600.08/3609.00 c #Conflicts: 1025000 | #Constraints: 24357
3600.08/3609.00 c #Conflicts: 1026000 | #Constraints: 25357
3600.08/3609.00 c #Conflicts: 1027000 | #Constraints: 26357
3600.08/3609.00 c #Conflicts: 1028000 | #Constraints: 27357
3600.08/3609.00 c #Conflicts: 1029000 | #Constraints: 28357
3600.08/3609.00 c #Conflicts: 1030000 | #Constraints: 29357
3600.08/3609.00 c #Conflicts: 1031000 | #Constraints: 30357
3600.08/3609.00 c #Conflicts: 1032000 | #Constraints: 31357
3600.08/3609.00 c #Conflicts: 1033000 | #Constraints: 32357
3600.08/3609.00 c #Conflicts: 1034000 | #Constraints: 33357
3600.08/3609.00 c #Conflicts: 1035000 | #Constraints: 34357
3600.08/3609.00 c #Conflicts: 1036000 | #Constraints: 35357
3600.08/3609.00 c #Conflicts: 1037000 | #Constraints: 36357
3600.08/3609.00 c #Conflicts: 1038000 | #Constraints: 37357
3600.08/3609.00 c #Conflicts: 1039000 | #Constraints: 38357
3600.08/3609.00 c #Conflicts: 1040000 | #Constraints: 39357
3600.08/3609.00 c #Conflicts: 1041000 | #Constraints: 40357
3600.08/3609.00 c INPROCESSING
3600.08/3609.00 c GARBAGE COLLECT
3600.08/3609.00 c #Conflicts: 1042000 | #Constraints: 21153
3600.08/3609.00 c #Conflicts: 1043000 | #Constraints: 22153
3600.08/3609.00 c #Conflicts: 1044000 | #Constraints: 23153
3600.08/3609.00 c #Conflicts: 1045000 | #Constraints: 24153
3600.08/3609.00 c #Conflicts: 1046000 | #Constraints: 25153
3600.08/3609.00 c #Conflicts: 1047000 | #Constraints: 26153
3600.08/3609.00 c #Conflicts: 1048000 | #Constraints: 27153
3600.08/3609.00 c #Conflicts: 1049000 | #Constraints: 28153
3600.08/3609.00 c #Conflicts: 1050000 | #Constraints: 29153
3600.08/3609.00 c #Conflicts: 1051000 | #Constraints: 30153
3600.08/3609.00 c #Conflicts: 1052000 | #Constraints: 31153
3600.08/3609.00 c #Conflicts: 1053000 | #Constraints: 32153
3600.08/3609.00 c #Conflicts: 1054000 | #Constraints: 33153
3600.08/3609.00 c #Conflicts: 1055000 | #Constraints: 34153
3600.08/3609.00 c #Conflicts: 1056000 | #Constraints: 35153
3600.08/3609.00 c #Conflicts: 1057000 | #Constraints: 36153
3600.08/3609.00 c #Conflicts: 1058000 | #Constraints: 37153
3600.08/3609.00 c #Conflicts: 1059000 | #Constraints: 38153
3600.08/3609.00 c #Conflicts: 1060000 | #Constraints: 39153
3600.08/3609.00 c #Conflicts: 1061000 | #Constraints: 40153
3600.08/3609.00 c #Conflicts: 1062000 | #Constraints: 41153
3600.08/3609.00 c INPROCESSING
3600.08/3609.00 c GARBAGE COLLECT
3600.08/3609.00 c #Conflicts: 1063000 | #Constraints: 21760
3600.08/3609.00 c #Conflicts: 1064000 | #Constraints: 22760
3600.08/3609.00 c #Conflicts: 1065000 | #Constraints: 23760
3600.08/3609.00 c #Conflicts: 1066000 | #Constraints: 24760
3600.08/3609.00 c #Conflicts: 1067000 | #Constraints: 25760
3600.08/3609.00 c #Conflicts: 1068000 | #Constraints: 26760
3600.08/3609.00 c #Conflicts: 1069000 | #Constraints: 27760
3600.08/3609.00 c #Conflicts: 1070000 | #Constraints: 28760
3600.08/3609.00 c #Conflicts: 1071000 | #Constraints: 29760
3600.08/3609.00 c Program interrupted by user.
3600.08/3609.00 c cpu time 3588.52 s
3600.08/3609.00 c deterministic time 400486538630 4.00e+11
3600.08/3609.00 c optimization time 41.761 s
3600.08/3609.00 c total solve time 3247.38 s
3600.08/3609.00 c core-guided solve time 3247.38 s
3600.08/3609.00 c propagation time 2803.47 s
3600.08/3609.00 c conflict analysis time 417.091 s
3600.08/3609.00 c propagations 70108307
3600.08/3609.00 c resolve steps 5996710
3600.08/3609.00 c decisions 5646113
3600.08/3609.00 c conflicts 1071007
3600.08/3609.00 c restarts 2046
3600.08/3609.00 c inprocessing phases 94
3600.08/3609.00 c input clauses 47
3600.08/3609.00 c input cardinalities 84
3600.08/3609.00 c input general constraints 470
3600.08/3609.00 c input average constraint length 73.41
3600.08/3609.00 c input average constraint degree 34.89
3600.08/3609.00 c learned clauses 252213
3600.08/3609.00 c learned cardinalities 1214
3600.08/3609.00 c learned general constraints 817591
3600.08/3609.00 c learned average constraint length 296.09
3600.08/3609.00 c learned average constraint degree 443945.99
3600.08/3609.00 c watched constraints 656610
3600.08/3609.00 c counting constraints 161451
3600.08/3609.00 c gcd simplifications 204234
3600.08/3609.00 c detected cardinalities 980
3600.08/3609.00 c weakened non-implied lits 38391403
3600.08/3609.00 c weakened non-implying lits 125722
3600.08/3609.00 c original variables 473
3600.08/3609.00 c clausal propagations 1474101
3600.08/3609.00 c cardinality propagations 246588
3600.08/3609.00 c watched propagations 30527247
3600.08/3609.00 c counting propagations 36638924
3600.08/3609.00 c watch lookups 69707709111
3600.08/3609.00 c watch backjump lookups 66326191350
3600.08/3609.00 c watch checks 253058816692
3600.08/3609.00 c propagation checks 10124376288
3600.08/3609.00 c constraint additions 1116865714
3600.08/3609.00 c trail pops 76825054
3600.08/3609.00 c formula constraints 473
3600.08/3609.00 c learned constraints 1071018
3600.08/3609.00 c bound constraints 84
3600.08/3609.00 c core-guided constraints 44
3600.08/3609.00 c encountered formula constraints 3546542
3600.08/3609.00 c encountered learned constraints 3368455
3600.08/3609.00 c encountered bound constraints 124
3600.08/3609.00 c encountered core-guided constraints 152596
3600.08/3609.00 c LP total time 0 s
3600.08/3609.00 c LP solve time 0 s
3600.08/3609.00 c LP constraints added 0
3600.08/3609.00 c LP constraints removed 0
3600.08/3609.00 c LP pivots internal 0
3600.08/3609.00 c LP pivots root 0
3600.08/3609.00 c LP calls 0
3600.08/3609.00 c LP optimalities 0
3600.08/3609.00 c LP no pivot count 0
3600.08/3609.00 c LP infeasibilities 0
3600.08/3609.00 c LP valid Farkas constraints 0
3600.08/3609.00 c LP learned Farkas constraints 0
3600.08/3609.00 c LP basis resets 0
3600.08/3609.00 c LP cycling count 0
3600.08/3609.00 c LP singular count 0
3600.08/3609.00 c LP no primal count 0
3600.08/3609.00 c LP no farkas count 0
3600.08/3609.00 c LP other issue count 0
3600.08/3609.00 c LP Gomory cuts 0
3600.08/3609.00 c LP learned cuts 0
3600.08/3609.00 c LP deleted cuts 0
3600.08/3609.00 c LP encountered Gomory constraints 0
3600.08/3609.00 c LP encountered Farkas constraints 0
3600.08/3609.00 c LP encountered learned Farkas constraints 0
3600.08/3609.00 c CG auxiliary variables introduced 44
3600.08/3609.00 c CG solutions found 0
3600.08/3609.00 c CG cores constructed 83
3600.08/3609.00 c CG core cardinality constraints returned 0
3600.08/3609.00 c CG unit cores 0
3600.08/3609.00 c CG single cores 83
3600.08/3609.00 c CG blocks removed during cardinality reduction 0
3600.08/3609.00 c CG first core best 0
3600.08/3609.00 c CG decision core best 0
3600.08/3609.00 c CG core reduction tie 0
3600.08/3609.00 c CG core degree average 1.00
3600.08/3609.00 c CG core slack average 2.81
3600.08/3609.00 c CG exhausted 0
3600.08/3609.00 c CG exhaust time 0 s
3600.08/3609.00 c CG trimmed 1
3600.08/3609.00 c CG trim time 0.000399 s
3600.08/3609.00 c CG minimized 0
3600.08/3609.00 c CG minimize time 0 s
3600.08/3609.00 c CG am1 prop time 0.000216 s
3600.08/3609.00 c CG # am1s reformulated 44
3600.08/3609.00 c CG lower bound derived from am1s 44
3600.08/3609.00 c CG # clausal cores 17
3600.08/3609.00 c CG # cardinality cores 0
3600.08/3609.00 c CG # pb cores 66
3600.08/3609.00 c CG # pb reforms 0
3600.08/3609.00 c CG # cores discarded because of pb reform 0
3600.08/3609.00 d LOWERBOUND 127
3600.08/3609.00 d NCORES 83
3600.08/3609.00 d NPBCORES 66
3600.08/3609.00 d NPBREFORM 0
3600.08/3609.00 d NTRIMMED 1
3600.08/3609.00 d NEXHAUSTED 0
3600.08/3609.00 d NAM1S 44
3600.08/3609.00 d AM1LB 44
3600.08/3609.00 c [Papilo Statistics]
3600.08/3609.00 c prepro time 0.00151651s
3600.08/3609.00 c # tsx applied 17
3600.08/3609.00 c # tsx conflicts 0
3600.08/3609.00 c # bound changes 0
3600.08/3609.00 c # side changes 0
3600.08/3609.00 c # coef changes 39
3600.08/3609.00 c # rounds 3
3600.08/3609.00 c # deted vars 0
3600.08/3609.00 c # deted constrs 0
3600.08/3609.00 c # consecutive rounds of only bound changes 0
3600.08/3609.00 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61662 MiB free)
memory of node 1: 64473 MiB (60856 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435449-1721096033/watcher-4435449-1721096033 -o /tmp/evaluation-result-4435449-1721096033/solver-4435449-1721096033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831066 --watchdog 3760 mixed-bag HOME/instance-4435449-1721096033.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=833031, runsolver pid=833028
[startup+0.100495 s]*
/proc/loadavg: 4.16 4.12 4.10 5/256 833032
/proc/meminfo: memFree=125449176/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=93148 memory=26164 CPUtime=0.09 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 3009 0 0 0 9 0 0 0 20 0 1 0 161767128 95383552 6541 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 23287 6541 4036 3002 0 7038 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93148 KiB
Current children cumulated memory: 26164 KiB
[startup+0.206494 s]*
/proc/loadavg: 4.16 4.12 4.10 5/256 833032
/proc/meminfo: memFree=125448840/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=93156 memory=26316 CPUtime=0.19 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 3045 0 0 0 19 0 0 0 20 0 1 0 161767128 95391744 6579 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 23289 6579 4036 3002 0 7040 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93156 KiB
Current children cumulated memory: 26316 KiB
[startup+0.305609 s]*
/proc/loadavg: 4.16 4.12 4.10 5/256 833032
/proc/meminfo: memFree=125448616/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=93312 memory=26392 CPUtime=0.29 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 3096 0 0 0 29 0 0 0 20 0 1 0 161767128 95551488 6598 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 23328 6598 4036 3002 0 7079 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93312 KiB
Current children cumulated memory: 26392 KiB
[startup+0.700234 s]
/proc/loadavg: 4.16 4.12 4.10 5/256 833032
/proc/meminfo: memFree=125448304/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=110652 memory=43284 CPUtime=0.68 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 7378 0 0 0 67 1 0 0 20 0 1 0 161767128 113307648 10821 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 27663 10821 4036 3002 0 11414 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110652 KiB
Current children cumulated memory: 43284 KiB
[startup+1.50023 s]
/proc/loadavg: 4.16 4.12 4.10 5/256 833032
/proc/meminfo: memFree=125399484/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=187448 memory=118924 CPUtime=1.47 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 27776 0 0 0 144 3 0 0 20 0 1 0 161767128 191946752 29731 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 46862 29731 4036 3002 0 30613 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 187448 KiB
Current children cumulated memory: 118924 KiB
[startup+3.10528 s]
/proc/loadavg: 4.15 4.11 4.10 4/254 833139
/proc/meminfo: memFree=125672016/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=225072 memory=155152 CPUtime=3.07 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 36790 0 0 0 302 5 0 0 20 0 1 0 161767128 230473728 38788 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 56268 38788 4052 3002 0 40019 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 225072 KiB
Current children cumulated memory: 155152 KiB
[startup+6.30018 s]
/proc/loadavg: 4.15 4.11 4.10 5/257 833171
/proc/meminfo: memFree=124269420/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=225072 memory=155332 CPUtime=6.25 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 36812 0 0 0 620 5 0 0 20 0 1 0 161767128 230473728 38833 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 56268 38833 4052 3002 0 40019 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 225072 KiB
Current children cumulated memory: 155332 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.10 5/257 833173
/proc/meminfo: memFree=121989892/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=230712 memory=160520 CPUtime=12.64 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 38151 0 0 0 1258 6 0 0 20 0 1 0 161767128 236249088 40130 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 57678 40130 4052 3002 0 41429 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 230712 KiB
Current children cumulated memory: 160520 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.10 5/257 833175
/proc/meminfo: memFree=118482476/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=288484 memory=217428 CPUtime=25.4 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 53438 0 0 0 2531 9 0 0 20 0 1 0 161767128 295407616 54357 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 72121 54357 4067 3002 0 55872 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 288484 KiB
Current children cumulated memory: 217428 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.11 4.10 5/257 833179
/proc/meminfo: memFree=115462000/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=288276 memory=218160 CPUtime=50.94 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 53521 0 0 0 5085 9 0 0 20 0 1 0 161767128 295194624 54540 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 72069 54540 4067 3002 0 55820 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 288276 KiB
Current children cumulated memory: 218160 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/255 833188
/proc/meminfo: memFree=115351132/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=289296 memory=221868 CPUtime=101.99 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 54280 0 0 0 10190 9 0 0 20 0 1 0 161767128 296239104 55467 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 72324 55467 4067 3002 0 56075 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 289296 KiB
Current children cumulated memory: 221868 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 833198
/proc/meminfo: memFree=115041936/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=369088 memory=305220 CPUtime=161.83 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 73977 0 0 0 16171 12 0 0 20 0 1 0 161767128 377946112 76305 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 92272 76305 4067 3002 0 76023 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 369088 KiB
Current children cumulated memory: 305220 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 833210
/proc/meminfo: memFree=114955712/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=392588 memory=328876 CPUtime=221.67 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 79946 0 0 0 22154 13 0 0 20 0 1 0 161767128 402010112 82219 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 98147 82219 4067 3002 0 81898 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 392588 KiB
Current children cumulated memory: 328876 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 833220
/proc/meminfo: memFree=114916924/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=395652 memory=330964 CPUtime=281.5 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 80586 0 0 0 28137 13 0 0 20 0 1 0 161767128 405147648 82741 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 98913 82741 4067 3002 0 82664 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 395652 KiB
Current children cumulated memory: 330964 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 833230
/proc/meminfo: memFree=120078876/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=288672 memory=225576 CPUtime=341.34 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 83411 0 0 0 34059 75 0 0 20 0 1 0 161767128 295600128 56394 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 72168 56394 4195 3002 0 55919 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 288672 KiB
Current children cumulated memory: 225576 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 833246
/proc/meminfo: memFree=119981108/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=288672 memory=232092 CPUtime=401.2 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 83563 0 0 0 39993 127 0 0 20 0 1 0 161767128 295600128 58023 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 72168 58023 4195 3002 0 55919 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 288672 KiB
Current children cumulated memory: 232092 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 833257
/proc/meminfo: memFree=119899408/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=307640 memory=238340 CPUtime=461.05 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 84132 0 0 0 45931 174 0 0 20 0 1 0 161767128 315023360 59585 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 76910 59585 4195 3002 0 60661 0
################
# More data... #
################
Current children cumulated memory: 283864 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 834869
/proc/meminfo: memFree=118255748/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=286648 CPUtime=2855.33 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 89995 0 0 0 284524 1009 0 0 20 0 1 0 161767128 397873152 71662 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 71662 4195 3002 0 80888 0
Current children cumulated CPU time: 2855.33 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 286648 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 834879
/proc/meminfo: memFree=118134436/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=286648 CPUtime=2915.18 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 90109 0 0 0 290496 1022 0 0 20 0 1 0 161767128 397873152 71662 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 71662 4195 3002 0 80888 0
Current children cumulated CPU time: 2915.18 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 286648 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 834890
/proc/meminfo: memFree=118072880/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=286648 CPUtime=2975.02 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 90223 0 0 0 296469 1033 0 0 20 0 1 0 161767128 397873152 71662 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 71662 4195 3002 0 80888 0
Current children cumulated CPU time: 2975.02 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 286648 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 834901
/proc/meminfo: memFree=118054040/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=286648 CPUtime=3034.87 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 90337 0 0 0 302441 1046 0 0 20 0 1 0 161767128 397873152 71662 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 71662 4195 3002 0 80888 0
Current children cumulated CPU time: 3034.87 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 286648 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/255 834911
/proc/meminfo: memFree=117835980/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=286648 CPUtime=3094.73 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 90452 0 0 0 308414 1059 0 0 20 0 1 0 161767128 397873152 71662 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 71662 4195 3002 0 80888 0
Current children cumulated CPU time: 3094.73 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 286648 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/254 834921
/proc/meminfo: memFree=117629104/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=290744 CPUtime=3154.57 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 90570 0 0 0 314386 1071 0 0 20 0 1 0 161767128 397873152 72686 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 72686 4195 3002 0 80888 0
Current children cumulated CPU time: 3154.57 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 290744 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/255 834933
/proc/meminfo: memFree=117533108/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=290744 CPUtime=3214.41 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 90684 0 0 0 320357 1084 0 0 20 0 1 0 161767128 397873152 72686 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 72686 4195 3002 0 80888 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 290744 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 834943
/proc/meminfo: memFree=117469084/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=292792 CPUtime=3274.25 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 90814 0 0 0 326328 1097 0 0 20 0 1 0 161767128 397873152 73198 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 73198 4195 3002 0 80888 0
Current children cumulated CPU time: 3274.25 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 292792 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 834953
/proc/meminfo: memFree=117236652/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=292792 CPUtime=3334.09 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 90934 0 0 0 332298 1111 0 0 20 0 1 0 161767128 397873152 73198 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 73198 4195 3002 0 80888 0
Current children cumulated CPU time: 3334.09 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 292792 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/259 834971
/proc/meminfo: memFree=117049992/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=292792 CPUtime=3393.93 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 91062 0 0 0 338269 1124 0 0 20 0 1 0 161767128 397873152 73198 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 73198 4195 3002 0 80888 0
Current children cumulated CPU time: 3393.93 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 292792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 834981
/proc/meminfo: memFree=116938348/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=292792 CPUtime=3453.78 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 91185 0 0 0 344243 1135 0 0 20 0 1 0 161767128 397873152 73198 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 73198 4195 3002 0 80888 0
Current children cumulated CPU time: 3453.78 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 292792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/258 834991
/proc/meminfo: memFree=116774184/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=292792 CPUtime=3513.61 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 91307 0 0 0 350218 1143 0 0 20 0 1 0 161767128 397873152 73198 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 73198 4195 3002 0 80888 0
Current children cumulated CPU time: 3513.61 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 292792 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 835002
/proc/meminfo: memFree=116645244/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=292792 CPUtime=3573.44 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 91432 0 0 0 356193 1151 0 0 20 0 1 0 161767128 397873152 73198 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 73198 4195 3002 0 80888 0
Current children cumulated CPU time: 3573.44 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 292792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.12 4.09 4.09 5/258 835007
/proc/meminfo: memFree=116561276/131524600 swapFree=131071996/131071996
[pid=833031] ppid=833028 vsize=388548 memory=292792 CPUtime=3600.08 cores=4,6
/proc/833031/stat : 833031 (mixed-bag) R 833028 833031 831055 0 -1 4194304 91432 0 0 0 358851 1157 0 0 20 0 1 0 161767128 397873152 73198 134679101440 4194304 16487941 140727170247472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55889920 140727170249751 140727170249828 140727170249828 140727170256843 0
/proc/833031/statm: 97137 73198 4195 3002 0 80888 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 388548 KiB
Current children cumulated memory: 292792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 833031 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.52 s, system=11.5807 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.01
CPU time (s): 3600.1
CPU user time (s): 3588.52
CPU system time (s): 11.5807
CPU usage (%): 99.7531
Max. virtual memory (cumulated for all children) (KiB): 395652
Max. memory (cumulated for all children) (KiB): 330964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.52
system time used= 11.5807
maximum resident set size= 330964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91454
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= 37
involuntary context switches= 1207
# summary of solver processes directly reported to runsolver:
# pid: 833031
# total CPU time (s): 3600.1
# total CPU user time (s): 3588.52
# total CPU system time (s): 11.5807
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71392 second user time and 17.2509 second system time
The end
Begin job on nodeC021 at 2024-07-16 04:14:05
IDJOB=4435449
IDBENCH=147549
IDSOLVER=3066
FILE ID=nodeC021/4435449-1721096033
RUNJOBID= nodeC021-1721092436-831066
SLURM_JOB_ID= 7505590
Free space on /tmp= 890036 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435449-1721096033/watcher-4435449-1721096033 -o /tmp/evaluation-result-4435449-1721096033/solver-4435449-1721096033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831066 --watchdog 3760 mixed-bag HOME/instance-4435449-1721096033.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb
RANDOM SEED=1229242187
nodeC021.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 : 3682.318
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.42
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 : 3685.761
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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 : 3679.714
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.42
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 : 3599.771
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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 : 3665.925
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.42
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 : 3685.772
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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 : 3658.925
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.42
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.765
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125460288 kB
MemAvailable: 128731180 kB
Buffers: 382016 kB
Cached: 3691268 kB
SwapCached: 0 kB
Active: 716660 kB
Inactive: 4675504 kB
Active(anon): 1536 kB
Inactive(anon): 1355092 kB
Active(file): 715124 kB
Inactive(file): 3320412 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16612 kB
Writeback: 12 kB
AnonPages: 1316360 kB
Mapped: 138916 kB
Shmem: 37720 kB
KReclaimable: 150360 kB
Slab: 263652 kB
SReclaimable: 150360 kB
SUnreclaim: 113292 kB
KernelStack: 4096 kB
PageTables: 12184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1829672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1097728 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: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC021 at 2024-07-16 05:14:14