0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.29/300.20 c [STEP] preprocessing done, loading into solver
299.29/300.20 c [STEP] solving
299.29/300.20 c #variables 468 #constraints 466
299.29/300.20 c SMALL=int, LARGE=long long
299.29/300.20 d SCIPUB 187
299.29/300.20 c bounds - >= 0 @ 299.175
299.29/300.20 c stratification level: 0
318.33/319.32 c bounds - >= 42 @ 299.175
318.33/319.32 c bounds - >= 43 @ 299.175
318.33/319.32 c bounds - >= 44 @ 299.175
318.33/319.32 c bounds - >= 45 @ 299.175
318.33/319.32 c bounds - >= 46 @ 299.175
318.33/319.32 c bounds - >= 47 @ 299.175
318.33/319.32 c bounds - >= 48 @ 299.175
318.33/319.32 c bounds - >= 49 @ 299.175
318.33/319.32 c bounds - >= 50 @ 299.175
318.33/319.32 c bounds - >= 51 @ 299.175
318.33/319.32 c bounds - >= 52 @ 299.175
318.33/319.32 c bounds - >= 53 @ 299.175
318.33/319.32 c bounds - >= 54 @ 299.175
318.33/319.32 c bounds - >= 55 @ 299.175
318.33/319.32 c bounds - >= 56 @ 299.175
318.33/319.32 c bounds - >= 57 @ 299.176
318.33/319.32 c bounds - >= 58 @ 299.176
318.33/319.32 c bounds - >= 59 @ 299.176
318.33/319.32 c bounds - >= 60 @ 299.176
318.33/319.32 c bounds - >= 61 @ 299.176
318.33/319.32 c bounds - >= 62 @ 299.176
318.33/319.32 c bounds - >= 63 @ 299.176
318.33/319.32 c bounds - >= 64 @ 299.176
318.33/319.32 c bounds - >= 65 @ 299.176
318.33/319.32 c bounds - >= 66 @ 299.177
318.33/319.32 c bounds - >= 67 @ 299.177
318.33/319.32 c bounds - >= 68 @ 299.177
318.33/319.32 c bounds - >= 69 @ 299.177
318.33/319.32 c bounds - >= 70 @ 299.177
318.33/319.32 c bounds - >= 71 @ 299.177
318.33/319.32 c bounds - >= 72 @ 299.177
318.33/319.32 c bounds - >= 73 @ 299.177
318.33/319.32 c bounds - >= 74 @ 299.178
318.33/319.32 c bounds - >= 75 @ 299.178
318.33/319.32 c bounds - >= 76 @ 299.178
318.33/319.32 c bounds - >= 77 @ 299.178
318.33/319.32 c bounds - >= 78 @ 299.178
318.33/319.32 c bounds - >= 79 @ 299.178
318.33/319.32 c bounds - >= 80 @ 299.178
318.33/319.32 c bounds - >= 81 @ 299.178
318.33/319.32 c bounds - >= 82 @ 299.179
318.33/319.32 c bounds - >= 83 @ 299.179
318.33/319.32 c bounds - >= 84 @ 299.179
318.33/319.32 c bounds - >= 85 @ 299.179
318.33/319.32 c bounds - >= 86 @ 299.179
318.33/319.32 c bounds - >= 87 @ 299.179
318.33/319.32 c bounds - >= 88 @ 299.179
318.33/319.32 c bounds - >= 89 @ 299.179
318.33/319.32 c bounds - >= 90 @ 299.18
318.33/319.32 c bounds - >= 91 @ 299.18
318.33/319.32 c bounds - >= 92 @ 299.18
318.33/319.32 c bounds - >= 93 @ 299.18
318.33/319.32 c bounds - >= 94 @ 299.18
318.33/319.32 c bounds - >= 95 @ 299.18
318.33/319.32 c bounds - >= 96 @ 299.18
318.33/319.32 c bounds - >= 97 @ 299.18
318.33/319.32 c bounds - >= 98 @ 299.18
318.33/319.32 c bounds - >= 99 @ 299.18
318.33/319.32 c bounds - >= 100 @ 299.18
318.33/319.32 c bounds - >= 101 @ 299.18
318.33/319.32 c bounds - >= 102 @ 299.18
318.33/319.32 c bounds - >= 103 @ 299.181
318.33/319.32 c bounds - >= 104 @ 299.181
318.33/319.32 c bounds - >= 105 @ 299.181
318.33/319.32 c bounds - >= 106 @ 299.181
318.33/319.32 c bounds - >= 107 @ 299.181
318.33/319.32 c bounds - >= 108 @ 299.181
318.33/319.32 c bounds - >= 109 @ 299.182
318.33/319.32 c bounds - >= 110 @ 299.182
318.33/319.32 c bounds - >= 111 @ 299.182
318.33/319.32 c bounds - >= 112 @ 299.182
318.33/319.32 c bounds - >= 113 @ 299.182
318.33/319.32 c bounds - >= 114 @ 299.182
318.33/319.32 c bounds - >= 115 @ 299.182
318.33/319.32 c bounds - >= 116 @ 299.183
318.33/319.32 c bounds - >= 117 @ 299.183
318.33/319.32 c bounds - >= 118 @ 299.183
318.33/319.32 c bounds - >= 119 @ 299.183
318.33/319.32 c #Conflicts: 1000 | #Constraints: 1590
318.33/319.32 c #Conflicts: 2000 | #Constraints: 2590
318.33/319.32 c INPROCESSING
318.33/319.32 c GARBAGE COLLECT
318.33/319.32 c #Conflicts: 3000 | #Constraints: 2519
318.33/319.32 c #Conflicts: 4000 | #Constraints: 3519
318.33/319.32 c INPROCESSING
318.33/319.32 c GARBAGE COLLECT
318.33/319.32 c #Conflicts: 5000 | #Constraints: 2918
318.33/319.32 c #Conflicts: 6000 | #Constraints: 3918
318.33/319.32 c INPROCESSING
318.33/319.32 c GARBAGE COLLECT
318.33/319.32 c #Conflicts: 7000 | #Constraints: 2920
318.33/319.32 c #Conflicts: 8000 | #Constraints: 3920
318.33/319.32 c #Conflicts: 9000 | #Constraints: 4920
318.33/319.32 c INPROCESSING
318.33/319.32 c GARBAGE COLLECT
318.33/319.32 c #Conflicts: 10000 | #Constraints: 3621
318.33/319.32 c #Conflicts: 11000 | #Constraints: 4621
318.33/319.32 c #Conflicts: 12000 | #Constraints: 5621
318.33/319.32 c INPROCESSING
318.33/319.32 c GARBAGE COLLECT
318.33/319.32 c #Conflicts: 13000 | #Constraints: 4073
318.33/319.32 c #Conflicts: 14000 | #Constraints: 5073
318.33/319.32 c #Conflicts: 15000 | #Constraints: 6073
318.33/319.32 c INPROCESSING
318.33/319.32 c GARBAGE COLLECT
318.33/319.32 c #Conflicts: 16000 | #Constraints: 4298
318.33/319.32 c #Conflicts: 17000 | #Constraints: 5298
318.33/319.32 c #Conflicts: 18000 | #Constraints: 6298
318.33/319.32 c INPROCESSING
318.33/319.32 c GARBAGE COLLECT
318.33/319.32 c #Conflicts: 19000 | #Constraints: 4313
318.33/319.32 c #Conflicts: 20000 | #Constraints: 5313
318.33/319.32 c #Conflicts: 21000 | #Constraints: 6313
318.33/319.32 c INPROCESSING
318.33/319.32 c GARBAGE COLLECT
318.33/319.32 c #Conflicts: 22000 | #Constraints: 4116
318.33/319.32 c #Conflicts: 23000 | #Constraints: 5116
318.33/319.32 c #Conflicts: 24000 | #Constraints: 6116
318.33/319.32 c #Conflicts: 25000 | #Constraints: 7116
318.33/319.32 c INPROCESSING
318.33/319.32 c GARBAGE COLLECT
318.33/319.32 c #Conflicts: 26000 | #Constraints: 4719
318.33/319.32 c #Conflicts: 27000 | #Constraints: 5719
318.33/319.32 c #Conflicts: 28000 | #Constraints: 6719
318.33/319.32 c #Conflicts: 29000 | #Constraints: 7719
318.33/319.32 c INPROCESSING
318.33/319.32 c GARBAGE COLLECT
318.33/319.32 c #Conflicts: 30000 | #Constraints: 5120
318.33/319.32 c #Conflicts: 31000 | #Constraints: 6120
318.33/319.32 c #Conflicts: 32000 | #Constraints: 7120
400.27/401.59 c #Conflicts: 33000 | #Constraints: 8120
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 34000 | #Constraints: 5330
400.27/401.59 c #Conflicts: 35000 | #Constraints: 6330
400.27/401.59 c #Conflicts: 36000 | #Constraints: 7330
400.27/401.59 c #Conflicts: 37000 | #Constraints: 8330
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 38000 | #Constraints: 5329
400.27/401.59 c #Conflicts: 39000 | #Constraints: 6329
400.27/401.59 c #Conflicts: 40000 | #Constraints: 7329
400.27/401.59 c #Conflicts: 41000 | #Constraints: 8329
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 42000 | #Constraints: 5129
400.27/401.59 c #Conflicts: 43000 | #Constraints: 6129
400.27/401.59 c #Conflicts: 44000 | #Constraints: 7129
400.27/401.59 c #Conflicts: 45000 | #Constraints: 8129
400.27/401.59 c #Conflicts: 46000 | #Constraints: 9129
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 47000 | #Constraints: 5725
400.27/401.59 c #Conflicts: 48000 | #Constraints: 6725
400.27/401.59 c #Conflicts: 49000 | #Constraints: 7725
400.27/401.59 c #Conflicts: 50000 | #Constraints: 8725
400.27/401.59 c #Conflicts: 51000 | #Constraints: 9725
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 52000 | #Constraints: 6128
400.27/401.59 c #Conflicts: 53000 | #Constraints: 7128
400.27/401.59 c #Conflicts: 54000 | #Constraints: 8128
400.27/401.59 c #Conflicts: 55000 | #Constraints: 9128
400.27/401.59 c #Conflicts: 56000 | #Constraints: 10128
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 57000 | #Constraints: 6328
400.27/401.59 c #Conflicts: 58000 | #Constraints: 7328
400.27/401.59 c #Conflicts: 59000 | #Constraints: 8328
400.27/401.59 c #Conflicts: 60000 | #Constraints: 9328
400.27/401.59 c #Conflicts: 61000 | #Constraints: 10328
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 62000 | #Constraints: 6328
400.27/401.59 c #Conflicts: 63000 | #Constraints: 7328
400.27/401.59 c #Conflicts: 64000 | #Constraints: 8328
400.27/401.59 c #Conflicts: 65000 | #Constraints: 9328
400.27/401.59 c #Conflicts: 66000 | #Constraints: 10328
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 67000 | #Constraints: 6126
400.27/401.59 c #Conflicts: 68000 | #Constraints: 7126
400.27/401.59 c #Conflicts: 69000 | #Constraints: 8126
400.27/401.59 c #Conflicts: 70000 | #Constraints: 9126
400.27/401.59 c #Conflicts: 71000 | #Constraints: 10126
400.27/401.59 c #Conflicts: 72000 | #Constraints: 11126
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 73000 | #Constraints: 6722
400.27/401.59 c #Conflicts: 74000 | #Constraints: 7722
400.27/401.59 c #Conflicts: 75000 | #Constraints: 8722
400.27/401.59 c #Conflicts: 76000 | #Constraints: 9722
400.27/401.59 c #Conflicts: 77000 | #Constraints: 10722
400.27/401.59 c #Conflicts: 78000 | #Constraints: 11722
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 79000 | #Constraints: 7121
400.27/401.59 c #Conflicts: 80000 | #Constraints: 8121
400.27/401.59 c #Conflicts: 81000 | #Constraints: 9121
400.27/401.59 c #Conflicts: 82000 | #Constraints: 10121
400.27/401.59 c #Conflicts: 83000 | #Constraints: 11121
400.27/401.59 c #Conflicts: 84000 | #Constraints: 12121
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 85000 | #Constraints: 7325
400.27/401.59 c #Conflicts: 86000 | #Constraints: 8325
400.27/401.59 c #Conflicts: 87000 | #Constraints: 9325
400.27/401.59 c #Conflicts: 88000 | #Constraints: 10325
400.27/401.59 c #Conflicts: 89000 | #Constraints: 11325
400.27/401.59 c #Conflicts: 90000 | #Constraints: 12325
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 91000 | #Constraints: 7328
400.27/401.59 c #Conflicts: 92000 | #Constraints: 8328
400.27/401.59 c #Conflicts: 93000 | #Constraints: 9328
400.27/401.59 c #Conflicts: 94000 | #Constraints: 10328
400.27/401.59 c #Conflicts: 95000 | #Constraints: 11328
400.27/401.59 c #Conflicts: 96000 | #Constraints: 12328
400.27/401.59 c INPROCESSING
400.27/401.59 c GARBAGE COLLECT
400.27/401.59 c #Conflicts: 97000 | #Constraints: 7124
400.27/401.59 c #Conflicts: 98000 | #Constraints: 8124
400.27/401.59 c #Conflicts: 99000 | #Constraints: 9124
400.27/401.59 c #Conflicts: 100000 | #Constraints: 10124
400.27/401.59 c #Conflicts: 101000 | #Constraints: 11124
400.27/401.59 c #Conflicts: 102000 | #Constraints: 12124
400.27/401.59 c #Conflicts: 103000 | #Constraints: 13124
547.42/549.18 c INPROCESSING
547.42/549.18 c GARBAGE COLLECT
547.42/549.18 c #Conflicts: 104000 | #Constraints: 7725
547.42/549.18 c #Conflicts: 105000 | #Constraints: 8725
547.42/549.18 c #Conflicts: 106000 | #Constraints: 9725
547.42/549.18 c #Conflicts: 107000 | #Constraints: 10725
547.42/549.18 c #Conflicts: 108000 | #Constraints: 11725
547.42/549.18 c #Conflicts: 109000 | #Constraints: 12725
547.42/549.18 c #Conflicts: 110000 | #Constraints: 13725
547.42/549.18 c INPROCESSING
547.42/549.18 c GARBAGE COLLECT
547.42/549.18 c #Conflicts: 111000 | #Constraints: 8125
547.42/549.18 c #Conflicts: 112000 | #Constraints: 9125
547.42/549.18 c #Conflicts: 113000 | #Constraints: 10125
547.42/549.18 c #Conflicts: 114000 | #Constraints: 11125
547.42/549.18 c #Conflicts: 115000 | #Constraints: 12125
547.42/549.18 c #Conflicts: 116000 | #Constraints: 13125
547.42/549.18 c #Conflicts: 117000 | #Constraints: 14125
547.42/549.18 c INPROCESSING
547.42/549.18 c GARBAGE COLLECT
547.42/549.18 c #Conflicts: 118000 | #Constraints: 8323
547.42/549.18 c #Conflicts: 119000 | #Constraints: 9323
547.42/549.18 c #Conflicts: 120000 | #Constraints: 10323
547.42/549.18 c #Conflicts: 121000 | #Constraints: 11323
547.42/549.18 c #Conflicts: 122000 | #Constraints: 12323
547.42/549.18 c #Conflicts: 123000 | #Constraints: 13323
547.42/549.18 c #Conflicts: 124000 | #Constraints: 14323
547.42/549.18 c INPROCESSING
547.42/549.18 c GARBAGE COLLECT
547.42/549.18 c #Conflicts: 125000 | #Constraints: 8327
547.42/549.18 c #Conflicts: 126000 | #Constraints: 9327
547.42/549.18 c #Conflicts: 127000 | #Constraints: 10327
547.42/549.18 c #Conflicts: 128000 | #Constraints: 11327
547.42/549.18 c #Conflicts: 129000 | #Constraints: 12327
547.42/549.18 c #Conflicts: 130000 | #Constraints: 13327
547.42/549.18 c #Conflicts: 131000 | #Constraints: 14327
547.42/549.18 c INPROCESSING
547.42/549.18 c GARBAGE COLLECT
547.42/549.18 c #Conflicts: 132000 | #Constraints: 8126
547.42/549.18 c #Conflicts: 133000 | #Constraints: 9126
547.42/549.18 c #Conflicts: 134000 | #Constraints: 10126
547.42/549.18 c #Conflicts: 135000 | #Constraints: 11126
547.42/549.18 c #Conflicts: 136000 | #Constraints: 12126
547.42/549.18 c #Conflicts: 137000 | #Constraints: 13126
547.42/549.18 c #Conflicts: 138000 | #Constraints: 14126
547.42/549.18 c #Conflicts: 139000 | #Constraints: 15126
547.42/549.18 c INPROCESSING
547.42/549.18 c GARBAGE COLLECT
547.42/549.18 c #Conflicts: 140000 | #Constraints: 8723
547.42/549.18 c #Conflicts: 141000 | #Constraints: 9723
547.42/549.18 c #Conflicts: 142000 | #Constraints: 10723
547.42/549.18 c #Conflicts: 143000 | #Constraints: 11723
547.42/549.18 c #Conflicts: 144000 | #Constraints: 12723
547.42/549.18 c #Conflicts: 145000 | #Constraints: 13723
547.42/549.18 c #Conflicts: 146000 | #Constraints: 14723
547.42/549.18 c #Conflicts: 147000 | #Constraints: 15723
547.42/549.18 c INPROCESSING
547.42/549.18 c GARBAGE COLLECT
547.42/549.18 c #Conflicts: 148000 | #Constraints: 9132
547.42/549.18 c #Conflicts: 149000 | #Constraints: 10132
547.42/549.18 c #Conflicts: 150000 | #Constraints: 11132
547.42/549.18 c #Conflicts: 151000 | #Constraints: 12132
547.42/549.18 c #Conflicts: 152000 | #Constraints: 13132
547.42/549.18 c #Conflicts: 153000 | #Constraints: 14132
547.42/549.18 c #Conflicts: 154000 | #Constraints: 15132
547.42/549.18 c #Conflicts: 155000 | #Constraints: 16132
547.42/549.18 c INPROCESSING
547.42/549.18 c GARBAGE COLLECT
547.42/549.18 c #Conflicts: 156000 | #Constraints: 9332
547.42/549.18 c #Conflicts: 157000 | #Constraints: 10332
547.42/549.18 c #Conflicts: 158000 | #Constraints: 11332
547.42/549.18 c #Conflicts: 159000 | #Constraints: 12332
547.42/549.18 c #Conflicts: 160000 | #Constraints: 13332
547.42/549.18 c #Conflicts: 161000 | #Constraints: 14332
547.42/549.18 c #Conflicts: 162000 | #Constraints: 15332
547.42/549.18 c #Conflicts: 163000 | #Constraints: 16332
547.42/549.18 c INPROCESSING
547.42/549.18 c GARBAGE COLLECT
547.42/549.18 c #Conflicts: 164000 | #Constraints: 9328
547.42/549.18 c #Conflicts: 165000 | #Constraints: 10328
547.42/549.18 c #Conflicts: 166000 | #Constraints: 11328
547.42/549.18 c #Conflicts: 167000 | #Constraints: 12328
547.42/549.18 c #Conflicts: 168000 | #Constraints: 13328
547.42/549.18 c #Conflicts: 169000 | #Constraints: 14328
547.42/549.18 c #Conflicts: 170000 | #Constraints: 15328
547.42/549.18 c #Conflicts: 171000 | #Constraints: 16328
547.42/549.18 c INPROCESSING
547.42/549.18 c GARBAGE COLLECT
547.42/549.18 c #Conflicts: 172000 | #Constraints: 9130
547.42/549.18 c #Conflicts: 173000 | #Constraints: 10130
547.42/549.18 c #Conflicts: 174000 | #Constraints: 11130
547.42/549.18 c #Conflicts: 175000 | #Constraints: 12130
742.76/745.01 c #Conflicts: 176000 | #Constraints: 13130
742.76/745.01 c #Conflicts: 177000 | #Constraints: 14130
742.76/745.01 c #Conflicts: 178000 | #Constraints: 15130
742.76/745.01 c #Conflicts: 179000 | #Constraints: 16130
742.76/745.01 c #Conflicts: 180000 | #Constraints: 17130
742.76/745.01 c INPROCESSING
742.76/745.01 c GARBAGE COLLECT
742.76/745.01 c #Conflicts: 181000 | #Constraints: 9726
742.76/745.01 c #Conflicts: 182000 | #Constraints: 10726
742.76/745.01 c #Conflicts: 183000 | #Constraints: 11726
742.76/745.01 c #Conflicts: 184000 | #Constraints: 12726
742.76/745.01 c #Conflicts: 185000 | #Constraints: 13726
742.76/745.01 c #Conflicts: 186000 | #Constraints: 14726
742.76/745.01 c #Conflicts: 187000 | #Constraints: 15726
742.76/745.01 c #Conflicts: 188000 | #Constraints: 16726
742.76/745.01 c #Conflicts: 189000 | #Constraints: 17726
742.76/745.01 c INPROCESSING
742.76/745.01 c GARBAGE COLLECT
742.76/745.01 c #Conflicts: 190000 | #Constraints: 10133
742.76/745.01 c #Conflicts: 191000 | #Constraints: 11133
742.76/745.01 c #Conflicts: 192000 | #Constraints: 12133
742.76/745.01 c #Conflicts: 193000 | #Constraints: 13133
742.76/745.01 c #Conflicts: 194000 | #Constraints: 14133
742.76/745.01 c #Conflicts: 195000 | #Constraints: 15133
742.76/745.01 c #Conflicts: 196000 | #Constraints: 16133
742.76/745.01 c #Conflicts: 197000 | #Constraints: 17133
742.76/745.01 c #Conflicts: 198000 | #Constraints: 18133
742.76/745.01 c INPROCESSING
742.76/745.01 c GARBAGE COLLECT
742.76/745.01 c #Conflicts: 199000 | #Constraints: 10333
742.76/745.01 c #Conflicts: 200000 | #Constraints: 11333
742.76/745.01 c #Conflicts: 201000 | #Constraints: 12333
742.76/745.01 c #Conflicts: 202000 | #Constraints: 13333
742.76/745.01 c #Conflicts: 203000 | #Constraints: 14333
742.76/745.01 c #Conflicts: 204000 | #Constraints: 15333
742.76/745.01 c #Conflicts: 205000 | #Constraints: 16333
742.76/745.01 c #Conflicts: 206000 | #Constraints: 17333
742.76/745.01 c #Conflicts: 207000 | #Constraints: 18333
742.76/745.01 c INPROCESSING
742.76/745.01 c GARBAGE COLLECT
742.76/745.01 c #Conflicts: 208000 | #Constraints: 10327
742.76/745.01 c #Conflicts: 209000 | #Constraints: 11327
742.76/745.01 c #Conflicts: 210000 | #Constraints: 12327
742.76/745.01 c #Conflicts: 211000 | #Constraints: 13327
742.76/745.01 c #Conflicts: 212000 | #Constraints: 14327
742.76/745.01 c #Conflicts: 213000 | #Constraints: 15327
742.76/745.01 c #Conflicts: 214000 | #Constraints: 16327
742.76/745.01 c #Conflicts: 215000 | #Constraints: 17327
742.76/745.01 c #Conflicts: 216000 | #Constraints: 18327
742.76/745.01 c INPROCESSING
742.76/745.01 c GARBAGE COLLECT
742.76/745.01 c #Conflicts: 217000 | #Constraints: 10134
742.76/745.01 c #Conflicts: 218000 | #Constraints: 11134
742.76/745.01 c #Conflicts: 219000 | #Constraints: 12134
742.76/745.01 c #Conflicts: 220000 | #Constraints: 13134
742.76/745.01 c #Conflicts: 221000 | #Constraints: 14134
742.76/745.01 c #Conflicts: 222000 | #Constraints: 15134
742.76/745.01 c #Conflicts: 223000 | #Constraints: 16134
742.76/745.01 c #Conflicts: 224000 | #Constraints: 17134
742.76/745.01 c #Conflicts: 225000 | #Constraints: 18134
742.76/745.01 c #Conflicts: 226000 | #Constraints: 19134
742.76/745.01 c INPROCESSING
742.76/745.01 c GARBAGE COLLECT
742.76/745.01 c #Conflicts: 227000 | #Constraints: 10732
742.76/745.01 c #Conflicts: 228000 | #Constraints: 11732
742.76/745.01 c #Conflicts: 229000 | #Constraints: 12732
742.76/745.01 c #Conflicts: 230000 | #Constraints: 13732
742.76/745.01 c #Conflicts: 231000 | #Constraints: 14732
742.76/745.01 c #Conflicts: 232000 | #Constraints: 15732
742.76/745.01 c #Conflicts: 233000 | #Constraints: 16732
742.76/745.01 c #Conflicts: 234000 | #Constraints: 17732
742.76/745.01 c #Conflicts: 235000 | #Constraints: 18732
742.76/745.01 c #Conflicts: 236000 | #Constraints: 19732
742.76/745.01 c INPROCESSING
742.76/745.01 c GARBAGE COLLECT
742.76/745.01 c #Conflicts: 237000 | #Constraints: 11129
742.76/745.01 c #Conflicts: 238000 | #Constraints: 12129
742.76/745.01 c #Conflicts: 239000 | #Constraints: 13129
742.76/745.01 c #Conflicts: 240000 | #Constraints: 14129
742.76/745.01 c #Conflicts: 241000 | #Constraints: 15129
742.76/745.01 c #Conflicts: 242000 | #Constraints: 16129
742.76/745.01 c #Conflicts: 243000 | #Constraints: 17129
742.76/745.01 c #Conflicts: 244000 | #Constraints: 18129
742.76/745.01 c #Conflicts: 245000 | #Constraints: 19129
742.76/745.01 c #Conflicts: 246000 | #Constraints: 20129
742.76/745.01 c INPROCESSING
742.76/745.01 c GARBAGE COLLECT
742.76/745.01 c #Conflicts: 247000 | #Constraints: 11330
742.76/745.01 c #Conflicts: 248000 | #Constraints: 12330
742.76/745.01 c #Conflicts: 249000 | #Constraints: 13330
953.18/956.03 c #Conflicts: 250000 | #Constraints: 14330
953.18/956.03 c #Conflicts: 251000 | #Constraints: 15330
953.18/956.03 c #Conflicts: 252000 | #Constraints: 16330
953.18/956.03 c #Conflicts: 253000 | #Constraints: 17330
953.18/956.03 c #Conflicts: 254000 | #Constraints: 18330
953.18/956.03 c #Conflicts: 255000 | #Constraints: 19330
953.18/956.03 c #Conflicts: 256000 | #Constraints: 20330
953.18/956.03 c INPROCESSING
953.18/956.03 c GARBAGE COLLECT
953.18/956.03 c #Conflicts: 257000 | #Constraints: 11326
953.18/956.03 c #Conflicts: 258000 | #Constraints: 12326
953.18/956.03 c #Conflicts: 259000 | #Constraints: 13326
953.18/956.03 c #Conflicts: 260000 | #Constraints: 14326
953.18/956.03 c #Conflicts: 261000 | #Constraints: 15326
953.18/956.03 c #Conflicts: 262000 | #Constraints: 16326
953.18/956.03 c #Conflicts: 263000 | #Constraints: 17326
953.18/956.03 c #Conflicts: 264000 | #Constraints: 18326
953.18/956.03 c #Conflicts: 265000 | #Constraints: 19326
953.18/956.03 c #Conflicts: 266000 | #Constraints: 20326
953.18/956.03 c INPROCESSING
953.18/956.03 c GARBAGE COLLECT
953.18/956.03 c #Conflicts: 267000 | #Constraints: 11131
953.18/956.03 c #Conflicts: 268000 | #Constraints: 12131
953.18/956.03 c #Conflicts: 269000 | #Constraints: 13131
953.18/956.03 c #Conflicts: 270000 | #Constraints: 14131
953.18/956.03 c #Conflicts: 271000 | #Constraints: 15131
953.18/956.03 c #Conflicts: 272000 | #Constraints: 16131
953.18/956.03 c #Conflicts: 273000 | #Constraints: 17131
953.18/956.03 c #Conflicts: 274000 | #Constraints: 18131
953.18/956.03 c #Conflicts: 275000 | #Constraints: 19131
953.18/956.03 c #Conflicts: 276000 | #Constraints: 20131
953.18/956.03 c #Conflicts: 277000 | #Constraints: 21131
953.18/956.03 c INPROCESSING
953.18/956.03 c GARBAGE COLLECT
953.18/956.03 c #Conflicts: 278000 | #Constraints: 11724
953.18/956.03 c #Conflicts: 279000 | #Constraints: 12724
953.18/956.03 c #Conflicts: 280000 | #Constraints: 13724
953.18/956.03 c #Conflicts: 281000 | #Constraints: 14724
953.18/956.03 c #Conflicts: 282000 | #Constraints: 15724
953.18/956.03 c #Conflicts: 283000 | #Constraints: 16724
953.18/956.03 c #Conflicts: 284000 | #Constraints: 17724
953.18/956.03 c #Conflicts: 285000 | #Constraints: 18724
953.18/956.03 c #Conflicts: 286000 | #Constraints: 19724
953.18/956.03 c #Conflicts: 287000 | #Constraints: 20724
953.18/956.03 c #Conflicts: 288000 | #Constraints: 21724
953.18/956.03 c INPROCESSING
953.18/956.03 c GARBAGE COLLECT
953.18/956.03 c #Conflicts: 289000 | #Constraints: 12124
953.18/956.03 c #Conflicts: 290000 | #Constraints: 13124
953.18/956.03 c #Conflicts: 291000 | #Constraints: 14124
953.18/956.03 c #Conflicts: 292000 | #Constraints: 15124
953.18/956.03 c #Conflicts: 293000 | #Constraints: 16124
953.18/956.03 c #Conflicts: 294000 | #Constraints: 17124
953.18/956.03 c #Conflicts: 295000 | #Constraints: 18124
953.18/956.03 c #Conflicts: 296000 | #Constraints: 19124
953.18/956.03 c #Conflicts: 297000 | #Constraints: 20124
953.18/956.03 c #Conflicts: 298000 | #Constraints: 21124
953.18/956.03 c #Conflicts: 299000 | #Constraints: 22124
953.18/956.03 c INPROCESSING
953.18/956.03 c GARBAGE COLLECT
953.18/956.03 c #Conflicts: 300000 | #Constraints: 12323
953.18/956.03 c #Conflicts: 301000 | #Constraints: 13323
953.18/956.03 c #Conflicts: 302000 | #Constraints: 14323
953.18/956.03 c #Conflicts: 303000 | #Constraints: 15323
953.18/956.03 c #Conflicts: 304000 | #Constraints: 16323
953.18/956.03 c #Conflicts: 305000 | #Constraints: 17323
953.18/956.03 c #Conflicts: 306000 | #Constraints: 18323
953.18/956.03 c #Conflicts: 307000 | #Constraints: 19323
953.18/956.03 c #Conflicts: 308000 | #Constraints: 20323
953.18/956.03 c #Conflicts: 309000 | #Constraints: 21323
953.18/956.03 c #Conflicts: 310000 | #Constraints: 22323
953.18/956.03 c INPROCESSING
953.18/956.03 c GARBAGE COLLECT
953.18/956.03 c #Conflicts: 311000 | #Constraints: 12326
953.18/956.03 c #Conflicts: 312000 | #Constraints: 13326
953.18/956.03 c #Conflicts: 313000 | #Constraints: 14326
953.18/956.03 c #Conflicts: 314000 | #Constraints: 15326
953.18/956.03 c #Conflicts: 315000 | #Constraints: 16326
953.18/956.03 c #Conflicts: 316000 | #Constraints: 17326
953.18/956.03 c #Conflicts: 317000 | #Constraints: 18326
953.18/956.03 c #Conflicts: 318000 | #Constraints: 19326
953.18/956.03 c #Conflicts: 319000 | #Constraints: 20326
953.18/956.03 c #Conflicts: 320000 | #Constraints: 21326
953.18/956.03 c #Conflicts: 321000 | #Constraints: 22326
953.18/956.03 c INPROCESSING
953.18/956.03 c GARBAGE COLLECT
953.18/956.03 c #Conflicts: 322000 | #Constraints: 12129
953.18/956.03 c #Conflicts: 323000 | #Constraints: 13129
1199.90/1203.47 c #Conflicts: 324000 | #Constraints: 14129
1199.90/1203.47 c #Conflicts: 325000 | #Constraints: 15129
1199.90/1203.47 c #Conflicts: 326000 | #Constraints: 16129
1199.90/1203.47 c #Conflicts: 327000 | #Constraints: 17129
1199.90/1203.47 c #Conflicts: 328000 | #Constraints: 18129
1199.90/1203.47 c #Conflicts: 329000 | #Constraints: 19129
1199.90/1203.47 c #Conflicts: 330000 | #Constraints: 20129
1199.90/1203.47 c #Conflicts: 331000 | #Constraints: 21129
1199.90/1203.47 c #Conflicts: 332000 | #Constraints: 22129
1199.90/1203.47 c #Conflicts: 333000 | #Constraints: 23129
1199.90/1203.47 c INPROCESSING
1199.90/1203.47 c GARBAGE COLLECT
1199.90/1203.47 c #Conflicts: 334000 | #Constraints: 12729
1199.90/1203.47 c #Conflicts: 335000 | #Constraints: 13729
1199.90/1203.47 c #Conflicts: 336000 | #Constraints: 14729
1199.90/1203.47 c #Conflicts: 337000 | #Constraints: 15729
1199.90/1203.47 c #Conflicts: 338000 | #Constraints: 16729
1199.90/1203.47 c #Conflicts: 339000 | #Constraints: 17729
1199.90/1203.47 c #Conflicts: 340000 | #Constraints: 18729
1199.90/1203.47 c #Conflicts: 341000 | #Constraints: 19729
1199.90/1203.47 c #Conflicts: 342000 | #Constraints: 20729
1199.90/1203.47 c #Conflicts: 343000 | #Constraints: 21729
1199.90/1203.47 c #Conflicts: 344000 | #Constraints: 22729
1199.90/1203.47 c #Conflicts: 345000 | #Constraints: 23729
1199.90/1203.47 c INPROCESSING
1199.90/1203.47 c GARBAGE COLLECT
1199.90/1203.47 c #Conflicts: 346000 | #Constraints: 13125
1199.90/1203.47 c #Conflicts: 347000 | #Constraints: 14125
1199.90/1203.47 c #Conflicts: 348000 | #Constraints: 15125
1199.90/1203.47 c #Conflicts: 349000 | #Constraints: 16125
1199.90/1203.47 c #Conflicts: 350000 | #Constraints: 17125
1199.90/1203.47 c #Conflicts: 351000 | #Constraints: 18125
1199.90/1203.47 c #Conflicts: 352000 | #Constraints: 19125
1199.90/1203.47 c #Conflicts: 353000 | #Constraints: 20125
1199.90/1203.47 c #Conflicts: 354000 | #Constraints: 21125
1199.90/1203.47 c #Conflicts: 355000 | #Constraints: 22125
1199.90/1203.47 c #Conflicts: 356000 | #Constraints: 23125
1199.90/1203.47 c #Conflicts: 357000 | #Constraints: 24125
1199.90/1203.47 c INPROCESSING
1199.90/1203.47 c GARBAGE COLLECT
1199.90/1203.47 c #Conflicts: 358000 | #Constraints: 13326
1199.90/1203.47 c #Conflicts: 359000 | #Constraints: 14326
1199.90/1203.47 c #Conflicts: 360000 | #Constraints: 15326
1199.90/1203.47 c #Conflicts: 361000 | #Constraints: 16326
1199.90/1203.47 c #Conflicts: 362000 | #Constraints: 17326
1199.90/1203.47 c #Conflicts: 363000 | #Constraints: 18326
1199.90/1203.47 c #Conflicts: 364000 | #Constraints: 19326
1199.90/1203.47 c #Conflicts: 365000 | #Constraints: 20326
1199.90/1203.47 c #Conflicts: 366000 | #Constraints: 21326
1199.90/1203.47 c #Conflicts: 367000 | #Constraints: 22326
1199.90/1203.47 c #Conflicts: 368000 | #Constraints: 23326
1199.90/1203.47 c #Conflicts: 369000 | #Constraints: 24326
1199.90/1203.47 c INPROCESSING
1199.90/1203.47 c GARBAGE COLLECT
1199.90/1203.47 c #Conflicts: 370000 | #Constraints: 13329
1199.90/1203.47 c #Conflicts: 371000 | #Constraints: 14329
1199.90/1203.47 c #Conflicts: 372000 | #Constraints: 15329
1199.90/1203.47 c #Conflicts: 373000 | #Constraints: 16329
1199.90/1203.47 c #Conflicts: 374000 | #Constraints: 17329
1199.90/1203.47 c #Conflicts: 375000 | #Constraints: 18329
1199.90/1203.47 c #Conflicts: 376000 | #Constraints: 19329
1199.90/1203.47 c #Conflicts: 377000 | #Constraints: 20329
1199.90/1203.47 c #Conflicts: 378000 | #Constraints: 21329
1199.90/1203.47 c #Conflicts: 379000 | #Constraints: 22329
1199.90/1203.47 c #Conflicts: 380000 | #Constraints: 23329
1199.90/1203.47 c #Conflicts: 381000 | #Constraints: 24329
1199.90/1203.47 c INPROCESSING
1199.90/1203.47 c GARBAGE COLLECT
1199.90/1203.47 c #Conflicts: 382000 | #Constraints: 13131
1199.90/1203.47 c #Conflicts: 383000 | #Constraints: 14131
1199.90/1203.47 c #Conflicts: 384000 | #Constraints: 15131
1199.90/1203.47 c #Conflicts: 385000 | #Constraints: 16131
1199.90/1203.47 c #Conflicts: 386000 | #Constraints: 17131
1199.90/1203.47 c #Conflicts: 387000 | #Constraints: 18131
1199.90/1203.47 c #Conflicts: 388000 | #Constraints: 19131
1199.90/1203.47 c #Conflicts: 389000 | #Constraints: 20131
1199.90/1203.47 c #Conflicts: 390000 | #Constraints: 21131
1199.90/1203.47 c #Conflicts: 391000 | #Constraints: 22131
1199.90/1203.47 c #Conflicts: 392000 | #Constraints: 23131
1199.90/1203.47 c #Conflicts: 393000 | #Constraints: 24131
1199.90/1203.47 c #Conflicts: 394000 | #Constraints: 25131
1199.90/1203.47 c INPROCESSING
1199.90/1203.47 c GARBAGE COLLECT
1199.90/1203.47 c #Conflicts: 395000 | #Constraints: 13730
1199.90/1203.47 c #Conflicts: 396000 | #Constraints: 14730
1199.90/1203.47 c #Conflicts: 397000 | #Constraints: 15730
1199.90/1203.47 c #Conflicts: 398000 | #Constraints: 16730
1567.51/1572.05 c #Conflicts: 399000 | #Constraints: 17730
1567.51/1572.05 c #Conflicts: 400000 | #Constraints: 18730
1567.51/1572.05 c #Conflicts: 401000 | #Constraints: 19730
1567.51/1572.05 c #Conflicts: 402000 | #Constraints: 20730
1567.51/1572.05 c #Conflicts: 403000 | #Constraints: 21730
1567.51/1572.05 c #Conflicts: 404000 | #Constraints: 22730
1567.51/1572.05 c #Conflicts: 405000 | #Constraints: 23730
1567.51/1572.05 c #Conflicts: 406000 | #Constraints: 24730
1567.51/1572.05 c #Conflicts: 407000 | #Constraints: 25730
1567.51/1572.05 c INPROCESSING
1567.51/1572.05 c GARBAGE COLLECT
1567.51/1572.05 c #Conflicts: 408000 | #Constraints: 14126
1567.51/1572.05 c #Conflicts: 409000 | #Constraints: 15126
1567.51/1572.05 c #Conflicts: 410000 | #Constraints: 16126
1567.51/1572.05 c #Conflicts: 411000 | #Constraints: 17126
1567.51/1572.05 c #Conflicts: 412000 | #Constraints: 18126
1567.51/1572.05 c #Conflicts: 413000 | #Constraints: 19126
1567.51/1572.05 c #Conflicts: 414000 | #Constraints: 20126
1567.51/1572.05 c #Conflicts: 415000 | #Constraints: 21126
1567.51/1572.05 c #Conflicts: 416000 | #Constraints: 22126
1567.51/1572.05 c #Conflicts: 417000 | #Constraints: 23126
1567.51/1572.05 c #Conflicts: 418000 | #Constraints: 24126
1567.51/1572.05 c #Conflicts: 419000 | #Constraints: 25126
1567.51/1572.05 c #Conflicts: 420000 | #Constraints: 26126
1567.51/1572.05 c INPROCESSING
1567.51/1572.05 c GARBAGE COLLECT
1567.51/1572.05 c #Conflicts: 421000 | #Constraints: 14329
1567.51/1572.05 c #Conflicts: 422000 | #Constraints: 15329
1567.51/1572.05 c #Conflicts: 423000 | #Constraints: 16329
1567.51/1572.05 c #Conflicts: 424000 | #Constraints: 17329
1567.51/1572.05 c #Conflicts: 425000 | #Constraints: 18329
1567.51/1572.05 c #Conflicts: 426000 | #Constraints: 19329
1567.51/1572.05 c #Conflicts: 427000 | #Constraints: 20329
1567.51/1572.05 c #Conflicts: 428000 | #Constraints: 21329
1567.51/1572.05 c #Conflicts: 429000 | #Constraints: 22329
1567.51/1572.05 c #Conflicts: 430000 | #Constraints: 23329
1567.51/1572.05 c #Conflicts: 431000 | #Constraints: 24329
1567.51/1572.05 c #Conflicts: 432000 | #Constraints: 25329
1567.51/1572.05 c #Conflicts: 433000 | #Constraints: 26329
1567.51/1572.05 c INPROCESSING
1567.51/1572.05 c GARBAGE COLLECT
1567.51/1572.05 c #Conflicts: 434000 | #Constraints: 14325
1567.51/1572.05 c #Conflicts: 435000 | #Constraints: 15325
1567.51/1572.05 c #Conflicts: 436000 | #Constraints: 16325
1567.51/1572.05 c #Conflicts: 437000 | #Constraints: 17325
1567.51/1572.05 c #Conflicts: 438000 | #Constraints: 18325
1567.51/1572.05 c #Conflicts: 439000 | #Constraints: 19325
1567.51/1572.05 c #Conflicts: 440000 | #Constraints: 20325
1567.51/1572.05 c #Conflicts: 441000 | #Constraints: 21325
1567.51/1572.05 c #Conflicts: 442000 | #Constraints: 22325
1567.51/1572.05 c #Conflicts: 443000 | #Constraints: 23325
1567.51/1572.05 c #Conflicts: 444000 | #Constraints: 24325
1567.51/1572.05 c #Conflicts: 445000 | #Constraints: 25325
1567.51/1572.05 c #Conflicts: 446000 | #Constraints: 26325
1567.51/1572.05 c INPROCESSING
1567.51/1572.05 c GARBAGE COLLECT
1567.51/1572.05 c #Conflicts: 447000 | #Constraints: 14129
1567.51/1572.05 c #Conflicts: 448000 | #Constraints: 15129
1567.51/1572.05 c #Conflicts: 449000 | #Constraints: 16129
1567.51/1572.05 c #Conflicts: 450000 | #Constraints: 17129
1567.51/1572.05 c #Conflicts: 451000 | #Constraints: 18129
1567.51/1572.05 c #Conflicts: 452000 | #Constraints: 19129
1567.51/1572.05 c #Conflicts: 453000 | #Constraints: 20129
1567.51/1572.05 c #Conflicts: 454000 | #Constraints: 21129
1567.51/1572.05 c #Conflicts: 455000 | #Constraints: 22129
1567.51/1572.05 c #Conflicts: 456000 | #Constraints: 23129
1567.51/1572.05 c #Conflicts: 457000 | #Constraints: 24129
1567.51/1572.05 c #Conflicts: 458000 | #Constraints: 25129
1567.51/1572.05 c #Conflicts: 459000 | #Constraints: 26129
1567.51/1572.05 c #Conflicts: 460000 | #Constraints: 27129
1567.51/1572.05 c INPROCESSING
1567.51/1572.05 c GARBAGE COLLECT
1567.51/1572.05 c #Conflicts: 461000 | #Constraints: 14729
1567.51/1572.05 c #Conflicts: 462000 | #Constraints: 15729
1567.51/1572.05 c #Conflicts: 463000 | #Constraints: 16729
1567.51/1572.05 c #Conflicts: 464000 | #Constraints: 17729
1567.51/1572.05 c #Conflicts: 465000 | #Constraints: 18729
1567.51/1572.05 c #Conflicts: 466000 | #Constraints: 19729
1567.51/1572.05 c #Conflicts: 467000 | #Constraints: 20729
1567.51/1572.05 c #Conflicts: 468000 | #Constraints: 21729
1567.51/1572.05 c #Conflicts: 469000 | #Constraints: 22729
1567.51/1572.05 c #Conflicts: 470000 | #Constraints: 23729
1567.51/1572.05 c #Conflicts: 471000 | #Constraints: 24729
1567.51/1572.05 c #Conflicts: 472000 | #Constraints: 25729
1567.51/1572.05 c #Conflicts: 473000 | #Constraints: 26729
1567.51/1572.05 c #Conflicts: 474000 | #Constraints: 27729
1902.18/1907.65 c INPROCESSING
1902.18/1907.65 c GARBAGE COLLECT
1902.18/1907.65 c #Conflicts: 475000 | #Constraints: 15132
1902.18/1907.65 c #Conflicts: 476000 | #Constraints: 16132
1902.18/1907.65 c #Conflicts: 477000 | #Constraints: 17132
1902.18/1907.65 c #Conflicts: 478000 | #Constraints: 18132
1902.18/1907.65 c #Conflicts: 479000 | #Constraints: 19132
1902.18/1907.65 c #Conflicts: 480000 | #Constraints: 20132
1902.18/1907.65 c #Conflicts: 481000 | #Constraints: 21132
1902.18/1907.65 c #Conflicts: 482000 | #Constraints: 22132
1902.18/1907.65 c #Conflicts: 483000 | #Constraints: 23132
1902.18/1907.65 c #Conflicts: 484000 | #Constraints: 24132
1902.18/1907.65 c #Conflicts: 485000 | #Constraints: 25132
1902.18/1907.65 c #Conflicts: 486000 | #Constraints: 26132
1902.18/1907.65 c #Conflicts: 487000 | #Constraints: 27132
1902.18/1907.65 c #Conflicts: 488000 | #Constraints: 28132
1902.18/1907.65 c INPROCESSING
1902.18/1907.65 c GARBAGE COLLECT
1902.18/1907.65 c #Conflicts: 489000 | #Constraints: 15337
1902.18/1907.65 c #Conflicts: 490000 | #Constraints: 16337
1902.18/1907.65 c #Conflicts: 491000 | #Constraints: 17337
1902.18/1907.65 c #Conflicts: 492000 | #Constraints: 18337
1902.18/1907.65 c #Conflicts: 493000 | #Constraints: 19337
1902.18/1907.65 c #Conflicts: 494000 | #Constraints: 20337
1902.18/1907.65 c #Conflicts: 495000 | #Constraints: 21337
1902.18/1907.65 c #Conflicts: 496000 | #Constraints: 22337
1902.18/1907.65 c #Conflicts: 497000 | #Constraints: 23337
1902.18/1907.65 c #Conflicts: 498000 | #Constraints: 24337
1902.18/1907.65 c #Conflicts: 499000 | #Constraints: 25337
1902.18/1907.65 c #Conflicts: 500000 | #Constraints: 26337
1902.18/1907.65 c #Conflicts: 501000 | #Constraints: 27337
1902.18/1907.65 c #Conflicts: 502000 | #Constraints: 28337
1902.18/1907.65 c INPROCESSING
1902.18/1907.65 c GARBAGE COLLECT
1902.18/1907.65 c #Conflicts: 503000 | #Constraints: 15334
1902.18/1907.65 c #Conflicts: 504000 | #Constraints: 16334
1902.18/1907.65 c #Conflicts: 505000 | #Constraints: 17334
1902.18/1907.65 c #Conflicts: 506000 | #Constraints: 18334
1902.18/1907.65 c #Conflicts: 507000 | #Constraints: 19334
1902.18/1907.65 c #Conflicts: 508000 | #Constraints: 20334
1902.18/1907.65 c #Conflicts: 509000 | #Constraints: 21334
1902.18/1907.65 c #Conflicts: 510000 | #Constraints: 22334
1902.18/1907.65 c #Conflicts: 511000 | #Constraints: 23334
1902.18/1907.65 c #Conflicts: 512000 | #Constraints: 24334
1902.18/1907.65 c #Conflicts: 513000 | #Constraints: 25334
1902.18/1907.65 c #Conflicts: 514000 | #Constraints: 26334
1902.18/1907.65 c #Conflicts: 515000 | #Constraints: 27334
1902.18/1907.65 c #Conflicts: 516000 | #Constraints: 28334
1902.18/1907.65 c INPROCESSING
1902.18/1907.65 c GARBAGE COLLECT
1902.18/1907.65 c #Conflicts: 517000 | #Constraints: 15131
1902.18/1907.65 c #Conflicts: 518000 | #Constraints: 16131
1902.18/1907.65 c #Conflicts: 519000 | #Constraints: 17131
1902.18/1907.65 c #Conflicts: 520000 | #Constraints: 18131
1902.18/1907.65 c #Conflicts: 521000 | #Constraints: 19131
1902.18/1907.65 c #Conflicts: 522000 | #Constraints: 20131
1902.18/1907.65 c #Conflicts: 523000 | #Constraints: 21131
1902.18/1907.65 c #Conflicts: 524000 | #Constraints: 22131
1902.18/1907.65 c #Conflicts: 525000 | #Constraints: 23131
1902.18/1907.65 c #Conflicts: 526000 | #Constraints: 24131
1902.18/1907.65 c #Conflicts: 527000 | #Constraints: 25131
1902.18/1907.65 c #Conflicts: 528000 | #Constraints: 26131
1902.18/1907.65 c #Conflicts: 529000 | #Constraints: 27131
1902.18/1907.65 c #Conflicts: 530000 | #Constraints: 28131
1902.18/1907.65 c #Conflicts: 531000 | #Constraints: 29131
1902.18/1907.65 c INPROCESSING
1902.18/1907.65 c GARBAGE COLLECT
1902.18/1907.65 c #Conflicts: 532000 | #Constraints: 15733
1902.18/1907.65 c #Conflicts: 533000 | #Constraints: 16733
1902.18/1907.65 c #Conflicts: 534000 | #Constraints: 17733
1902.18/1907.65 c #Conflicts: 535000 | #Constraints: 18733
1902.18/1907.65 c #Conflicts: 536000 | #Constraints: 19733
1902.18/1907.65 c #Conflicts: 537000 | #Constraints: 20733
1902.18/1907.65 c #Conflicts: 538000 | #Constraints: 21733
1902.18/1907.65 c #Conflicts: 539000 | #Constraints: 22733
1902.18/1907.65 c #Conflicts: 540000 | #Constraints: 23733
1902.18/1907.65 c #Conflicts: 541000 | #Constraints: 24733
1902.18/1907.65 c #Conflicts: 542000 | #Constraints: 25733
1902.18/1907.65 c #Conflicts: 543000 | #Constraints: 26733
1902.18/1907.65 c #Conflicts: 544000 | #Constraints: 27733
1902.18/1907.65 c #Conflicts: 545000 | #Constraints: 28733
1902.18/1907.65 c #Conflicts: 546000 | #Constraints: 29733
1902.18/1907.65 c INPROCESSING
1902.18/1907.65 c GARBAGE COLLECT
1902.18/1907.65 c #Conflicts: 547000 | #Constraints: 16127
1902.18/1907.65 c #Conflicts: 548000 | #Constraints: 17127
1902.18/1907.65 c #Conflicts: 549000 | #Constraints: 18127
2270.16/2276.67 c #Conflicts: 550000 | #Constraints: 19127
2270.16/2276.67 c #Conflicts: 551000 | #Constraints: 20127
2270.16/2276.67 c #Conflicts: 552000 | #Constraints: 21127
2270.16/2276.67 c #Conflicts: 553000 | #Constraints: 22127
2270.16/2276.67 c #Conflicts: 554000 | #Constraints: 23127
2270.16/2276.67 c #Conflicts: 555000 | #Constraints: 24127
2270.16/2276.67 c #Conflicts: 556000 | #Constraints: 25127
2270.16/2276.67 c #Conflicts: 557000 | #Constraints: 26127
2270.16/2276.67 c #Conflicts: 558000 | #Constraints: 27127
2270.16/2276.67 c #Conflicts: 559000 | #Constraints: 28127
2270.16/2276.67 c #Conflicts: 560000 | #Constraints: 29127
2270.16/2276.67 c #Conflicts: 561000 | #Constraints: 30127
2270.16/2276.67 c INPROCESSING
2270.16/2276.67 c GARBAGE COLLECT
2270.16/2276.67 c #Conflicts: 562000 | #Constraints: 16331
2270.16/2276.67 c #Conflicts: 563000 | #Constraints: 17331
2270.16/2276.67 c #Conflicts: 564000 | #Constraints: 18331
2270.16/2276.67 c #Conflicts: 565000 | #Constraints: 19331
2270.16/2276.67 c #Conflicts: 566000 | #Constraints: 20331
2270.16/2276.67 c #Conflicts: 567000 | #Constraints: 21331
2270.16/2276.67 c #Conflicts: 568000 | #Constraints: 22331
2270.16/2276.67 c #Conflicts: 569000 | #Constraints: 23331
2270.16/2276.67 c #Conflicts: 570000 | #Constraints: 24331
2270.16/2276.67 c #Conflicts: 571000 | #Constraints: 25331
2270.16/2276.67 c #Conflicts: 572000 | #Constraints: 26331
2270.16/2276.67 c #Conflicts: 573000 | #Constraints: 27331
2270.16/2276.67 c #Conflicts: 574000 | #Constraints: 28331
2270.16/2276.67 c #Conflicts: 575000 | #Constraints: 29331
2270.16/2276.67 c #Conflicts: 576000 | #Constraints: 30331
2270.16/2276.67 c INPROCESSING
2270.16/2276.67 c GARBAGE COLLECT
2270.16/2276.67 c #Conflicts: 577000 | #Constraints: 16330
2270.16/2276.67 c #Conflicts: 578000 | #Constraints: 17330
2270.16/2276.67 c #Conflicts: 579000 | #Constraints: 18330
2270.16/2276.67 c #Conflicts: 580000 | #Constraints: 19330
2270.16/2276.67 c #Conflicts: 581000 | #Constraints: 20330
2270.16/2276.67 c #Conflicts: 582000 | #Constraints: 21330
2270.16/2276.67 c #Conflicts: 583000 | #Constraints: 22330
2270.16/2276.67 c #Conflicts: 584000 | #Constraints: 23330
2270.16/2276.67 c #Conflicts: 585000 | #Constraints: 24330
2270.16/2276.67 c #Conflicts: 586000 | #Constraints: 25330
2270.16/2276.67 c #Conflicts: 587000 | #Constraints: 26330
2270.16/2276.67 c #Conflicts: 588000 | #Constraints: 27330
2270.16/2276.67 c #Conflicts: 589000 | #Constraints: 28330
2270.16/2276.67 c #Conflicts: 590000 | #Constraints: 29330
2270.16/2276.67 c #Conflicts: 591000 | #Constraints: 30330
2270.16/2276.67 c INPROCESSING
2270.16/2276.67 c GARBAGE COLLECT
2270.16/2276.67 c #Conflicts: 592000 | #Constraints: 16133
2270.16/2276.67 c #Conflicts: 593000 | #Constraints: 17133
2270.16/2276.67 c #Conflicts: 594000 | #Constraints: 18133
2270.16/2276.67 c #Conflicts: 595000 | #Constraints: 19133
2270.16/2276.67 c #Conflicts: 596000 | #Constraints: 20133
2270.16/2276.67 c #Conflicts: 597000 | #Constraints: 21133
2270.16/2276.67 c #Conflicts: 598000 | #Constraints: 22133
2270.16/2276.67 c #Conflicts: 599000 | #Constraints: 23133
2270.16/2276.67 c #Conflicts: 600000 | #Constraints: 24133
2270.16/2276.67 c #Conflicts: 601000 | #Constraints: 25133
2270.16/2276.67 c #Conflicts: 602000 | #Constraints: 26133
2270.16/2276.67 c #Conflicts: 603000 | #Constraints: 27133
2270.16/2276.67 c #Conflicts: 604000 | #Constraints: 28133
2270.16/2276.67 c #Conflicts: 605000 | #Constraints: 29133
2270.16/2276.67 c #Conflicts: 606000 | #Constraints: 30133
2270.16/2276.67 c #Conflicts: 607000 | #Constraints: 31133
2270.16/2276.67 c INPROCESSING
2270.16/2276.67 c GARBAGE COLLECT
2270.16/2276.67 c #Conflicts: 608000 | #Constraints: 16730
2270.16/2276.67 c #Conflicts: 609000 | #Constraints: 17730
2270.16/2276.67 c #Conflicts: 610000 | #Constraints: 18730
2270.16/2276.67 c #Conflicts: 611000 | #Constraints: 19730
2270.16/2276.67 c #Conflicts: 612000 | #Constraints: 20730
2270.16/2276.67 c #Conflicts: 613000 | #Constraints: 21730
2270.16/2276.67 c #Conflicts: 614000 | #Constraints: 22730
2270.16/2276.67 c #Conflicts: 615000 | #Constraints: 23730
2270.16/2276.67 c #Conflicts: 616000 | #Constraints: 24730
2270.16/2276.67 c #Conflicts: 617000 | #Constraints: 25730
2270.16/2276.67 c #Conflicts: 618000 | #Constraints: 26730
2270.16/2276.67 c #Conflicts: 619000 | #Constraints: 27730
2270.16/2276.67 c #Conflicts: 620000 | #Constraints: 28730
2270.16/2276.67 c #Conflicts: 621000 | #Constraints: 29730
2270.16/2276.67 c #Conflicts: 622000 | #Constraints: 30730
2270.16/2276.67 c #Conflicts: 623000 | #Constraints: 31730
2270.16/2276.67 c INPROCESSING
2270.16/2276.67 c GARBAGE COLLECT
2270.16/2276.67 c #Conflicts: 624000 | #Constraints: 17126
2642.90/2650.49 c #Conflicts: 625000 | #Constraints: 18126
2642.90/2650.49 c #Conflicts: 626000 | #Constraints: 19126
2642.90/2650.49 c #Conflicts: 627000 | #Constraints: 20126
2642.90/2650.49 c #Conflicts: 628000 | #Constraints: 21126
2642.90/2650.49 c #Conflicts: 629000 | #Constraints: 22126
2642.90/2650.49 c #Conflicts: 630000 | #Constraints: 23126
2642.90/2650.49 c #Conflicts: 631000 | #Constraints: 24126
2642.90/2650.49 c #Conflicts: 632000 | #Constraints: 25126
2642.90/2650.49 c #Conflicts: 633000 | #Constraints: 26126
2642.90/2650.49 c #Conflicts: 634000 | #Constraints: 27126
2642.90/2650.49 c #Conflicts: 635000 | #Constraints: 28126
2642.90/2650.49 c #Conflicts: 636000 | #Constraints: 29126
2642.90/2650.49 c #Conflicts: 637000 | #Constraints: 30126
2642.90/2650.49 c #Conflicts: 638000 | #Constraints: 31126
2642.90/2650.49 c #Conflicts: 639000 | #Constraints: 32126
2642.90/2650.49 c INPROCESSING
2642.90/2650.49 c GARBAGE COLLECT
2642.90/2650.49 c #Conflicts: 640000 | #Constraints: 17328
2642.90/2650.49 c #Conflicts: 641000 | #Constraints: 18328
2642.90/2650.49 c #Conflicts: 642000 | #Constraints: 19328
2642.90/2650.49 c #Conflicts: 643000 | #Constraints: 20328
2642.90/2650.49 c #Conflicts: 644000 | #Constraints: 21328
2642.90/2650.49 c #Conflicts: 645000 | #Constraints: 22328
2642.90/2650.49 c #Conflicts: 646000 | #Constraints: 23328
2642.90/2650.49 c #Conflicts: 647000 | #Constraints: 24328
2642.90/2650.49 c #Conflicts: 648000 | #Constraints: 25328
2642.90/2650.49 c #Conflicts: 649000 | #Constraints: 26328
2642.90/2650.49 c #Conflicts: 650000 | #Constraints: 27328
2642.90/2650.49 c #Conflicts: 651000 | #Constraints: 28328
2642.90/2650.49 c #Conflicts: 652000 | #Constraints: 29328
2642.90/2650.49 c #Conflicts: 653000 | #Constraints: 30328
2642.90/2650.49 c #Conflicts: 654000 | #Constraints: 31328
2642.90/2650.49 c #Conflicts: 655000 | #Constraints: 32328
2642.90/2650.49 c INPROCESSING
2642.90/2650.49 c GARBAGE COLLECT
2642.90/2650.49 c #Conflicts: 656000 | #Constraints: 17326
2642.90/2650.49 c #Conflicts: 657000 | #Constraints: 18326
2642.90/2650.49 c #Conflicts: 658000 | #Constraints: 19326
2642.90/2650.49 c #Conflicts: 659000 | #Constraints: 20326
2642.90/2650.49 c #Conflicts: 660000 | #Constraints: 21326
2642.90/2650.49 c #Conflicts: 661000 | #Constraints: 22326
2642.90/2650.49 c #Conflicts: 662000 | #Constraints: 23326
2642.90/2650.49 c #Conflicts: 663000 | #Constraints: 24326
2642.90/2650.49 c #Conflicts: 664000 | #Constraints: 25326
2642.90/2650.49 c #Conflicts: 665000 | #Constraints: 26326
2642.90/2650.49 c #Conflicts: 666000 | #Constraints: 27326
2642.90/2650.49 c #Conflicts: 667000 | #Constraints: 28326
2642.90/2650.49 c #Conflicts: 668000 | #Constraints: 29326
2642.90/2650.49 c #Conflicts: 669000 | #Constraints: 30326
2642.90/2650.49 c #Conflicts: 670000 | #Constraints: 31326
2642.90/2650.49 c #Conflicts: 671000 | #Constraints: 32326
2642.90/2650.49 c INPROCESSING
2642.90/2650.49 c GARBAGE COLLECT
2642.90/2650.49 c #Conflicts: 672000 | #Constraints: 17122
2642.90/2650.49 c #Conflicts: 673000 | #Constraints: 18122
2642.90/2650.49 c #Conflicts: 674000 | #Constraints: 19122
2642.90/2650.49 c #Conflicts: 675000 | #Constraints: 20122
2642.90/2650.49 c #Conflicts: 676000 | #Constraints: 21122
2642.90/2650.49 c #Conflicts: 677000 | #Constraints: 22122
2642.90/2650.49 c #Conflicts: 678000 | #Constraints: 23122
2642.90/2650.49 c #Conflicts: 679000 | #Constraints: 24122
2642.90/2650.49 c #Conflicts: 680000 | #Constraints: 25122
2642.90/2650.49 c #Conflicts: 681000 | #Constraints: 26122
2642.90/2650.49 c #Conflicts: 682000 | #Constraints: 27122
2642.90/2650.49 c #Conflicts: 683000 | #Constraints: 28122
2642.90/2650.49 c #Conflicts: 684000 | #Constraints: 29122
2642.90/2650.49 c #Conflicts: 685000 | #Constraints: 30122
2642.90/2650.49 c #Conflicts: 686000 | #Constraints: 31122
2642.90/2650.49 c #Conflicts: 687000 | #Constraints: 32122
2642.90/2650.49 c #Conflicts: 688000 | #Constraints: 33122
2642.90/2650.49 c INPROCESSING
2642.90/2650.49 c GARBAGE COLLECT
2642.90/2650.49 c #Conflicts: 689000 | #Constraints: 17721
2642.90/2650.49 c #Conflicts: 690000 | #Constraints: 18721
2642.90/2650.49 c #Conflicts: 691000 | #Constraints: 19721
2642.90/2650.49 c #Conflicts: 692000 | #Constraints: 20721
2642.90/2650.49 c #Conflicts: 693000 | #Constraints: 21721
2642.90/2650.49 c #Conflicts: 694000 | #Constraints: 22721
2642.90/2650.49 c #Conflicts: 695000 | #Constraints: 23721
2642.90/2650.49 c #Conflicts: 696000 | #Constraints: 24721
2642.90/2650.49 c #Conflicts: 697000 | #Constraints: 25721
2642.90/2650.49 c #Conflicts: 698000 | #Constraints: 26721
2642.90/2650.49 c #Conflicts: 699000 | #Constraints: 27721
2642.90/2650.49 c #Conflicts: 700000 | #Constraints: 28721
2642.90/2650.49 c #Conflicts: 701000 | #Constraints: 29721
3076.53/3085.32 c #Conflicts: 702000 | #Constraints: 30721
3076.53/3085.32 c #Conflicts: 703000 | #Constraints: 31721
3076.53/3085.32 c #Conflicts: 704000 | #Constraints: 32721
3076.53/3085.32 c #Conflicts: 705000 | #Constraints: 33721
3076.53/3085.32 c INPROCESSING
3076.53/3085.32 c GARBAGE COLLECT
3076.53/3085.32 c #Conflicts: 706000 | #Constraints: 18125
3076.53/3085.32 c #Conflicts: 707000 | #Constraints: 19125
3076.53/3085.32 c #Conflicts: 708000 | #Constraints: 20125
3076.53/3085.32 c #Conflicts: 709000 | #Constraints: 21125
3076.53/3085.32 c #Conflicts: 710000 | #Constraints: 22125
3076.53/3085.32 c #Conflicts: 711000 | #Constraints: 23125
3076.53/3085.32 c #Conflicts: 712000 | #Constraints: 24125
3076.53/3085.32 c #Conflicts: 713000 | #Constraints: 25125
3076.53/3085.32 c #Conflicts: 714000 | #Constraints: 26125
3076.53/3085.32 c #Conflicts: 715000 | #Constraints: 27125
3076.53/3085.32 c #Conflicts: 716000 | #Constraints: 28125
3076.53/3085.32 c #Conflicts: 717000 | #Constraints: 29125
3076.53/3085.32 c #Conflicts: 718000 | #Constraints: 30125
3076.53/3085.32 c #Conflicts: 719000 | #Constraints: 31125
3076.53/3085.32 c #Conflicts: 720000 | #Constraints: 32125
3076.53/3085.32 c #Conflicts: 721000 | #Constraints: 33125
3076.53/3085.32 c #Conflicts: 722000 | #Constraints: 34125
3076.53/3085.32 c INPROCESSING
3076.53/3085.32 c GARBAGE COLLECT
3076.53/3085.32 c #Conflicts: 723000 | #Constraints: 18327
3076.53/3085.32 c #Conflicts: 724000 | #Constraints: 19327
3076.53/3085.32 c #Conflicts: 725000 | #Constraints: 20327
3076.53/3085.32 c #Conflicts: 726000 | #Constraints: 21327
3076.53/3085.32 c #Conflicts: 727000 | #Constraints: 22327
3076.53/3085.32 c #Conflicts: 728000 | #Constraints: 23327
3076.53/3085.32 c #Conflicts: 729000 | #Constraints: 24327
3076.53/3085.32 c #Conflicts: 730000 | #Constraints: 25327
3076.53/3085.32 c #Conflicts: 731000 | #Constraints: 26327
3076.53/3085.32 c #Conflicts: 732000 | #Constraints: 27327
3076.53/3085.32 c #Conflicts: 733000 | #Constraints: 28327
3076.53/3085.32 c #Conflicts: 734000 | #Constraints: 29327
3076.53/3085.32 c #Conflicts: 735000 | #Constraints: 30327
3076.53/3085.32 c #Conflicts: 736000 | #Constraints: 31327
3076.53/3085.32 c #Conflicts: 737000 | #Constraints: 32327
3076.53/3085.32 c #Conflicts: 738000 | #Constraints: 33327
3076.53/3085.32 c #Conflicts: 739000 | #Constraints: 34327
3076.53/3085.32 c INPROCESSING
3076.53/3085.32 c GARBAGE COLLECT
3076.53/3085.32 c #Conflicts: 740000 | #Constraints: 18329
3076.53/3085.32 c #Conflicts: 741000 | #Constraints: 19329
3076.53/3085.32 c #Conflicts: 742000 | #Constraints: 20329
3076.53/3085.32 c #Conflicts: 743000 | #Constraints: 21329
3076.53/3085.32 c #Conflicts: 744000 | #Constraints: 22329
3076.53/3085.32 c #Conflicts: 745000 | #Constraints: 23329
3076.53/3085.32 c #Conflicts: 746000 | #Constraints: 24329
3076.53/3085.32 c #Conflicts: 747000 | #Constraints: 25329
3076.53/3085.32 c #Conflicts: 748000 | #Constraints: 26329
3076.53/3085.32 c #Conflicts: 749000 | #Constraints: 27329
3076.53/3085.32 c #Conflicts: 750000 | #Constraints: 28329
3076.53/3085.32 c #Conflicts: 751000 | #Constraints: 29329
3076.53/3085.32 c #Conflicts: 752000 | #Constraints: 30329
3076.53/3085.32 c #Conflicts: 753000 | #Constraints: 31329
3076.53/3085.32 c #Conflicts: 754000 | #Constraints: 32329
3076.53/3085.32 c #Conflicts: 755000 | #Constraints: 33329
3076.53/3085.32 c #Conflicts: 756000 | #Constraints: 34329
3076.53/3085.32 c INPROCESSING
3076.53/3085.32 c GARBAGE COLLECT
3076.53/3085.32 c #Conflicts: 757000 | #Constraints: 18130
3076.53/3085.32 c #Conflicts: 758000 | #Constraints: 19130
3076.53/3085.32 c #Conflicts: 759000 | #Constraints: 20130
3076.53/3085.32 c #Conflicts: 760000 | #Constraints: 21130
3076.53/3085.32 c #Conflicts: 761000 | #Constraints: 22130
3076.53/3085.32 c #Conflicts: 762000 | #Constraints: 23130
3076.53/3085.32 c #Conflicts: 763000 | #Constraints: 24130
3076.53/3085.32 c #Conflicts: 764000 | #Constraints: 25130
3076.53/3085.32 c #Conflicts: 765000 | #Constraints: 26130
3076.53/3085.32 c #Conflicts: 766000 | #Constraints: 27130
3076.53/3085.32 c #Conflicts: 767000 | #Constraints: 28130
3076.53/3085.32 c #Conflicts: 768000 | #Constraints: 29130
3076.53/3085.32 c #Conflicts: 769000 | #Constraints: 30130
3076.53/3085.32 c #Conflicts: 770000 | #Constraints: 31130
3076.53/3085.32 c #Conflicts: 771000 | #Constraints: 32130
3076.53/3085.32 c #Conflicts: 772000 | #Constraints: 33130
3076.53/3085.32 c #Conflicts: 773000 | #Constraints: 34130
3076.53/3085.32 c #Conflicts: 774000 | #Constraints: 35130
3076.53/3085.32 c INPROCESSING
3076.53/3085.32 c GARBAGE COLLECT
3076.53/3085.32 c #Conflicts: 775000 | #Constraints: 18727
3076.53/3085.32 c #Conflicts: 776000 | #Constraints: 19727
3478.33/3488.37 c #Conflicts: 777000 | #Constraints: 20727
3478.33/3488.37 c #Conflicts: 778000 | #Constraints: 21727
3478.33/3488.37 c #Conflicts: 779000 | #Constraints: 22727
3478.33/3488.37 c #Conflicts: 780000 | #Constraints: 23727
3478.33/3488.37 c #Conflicts: 781000 | #Constraints: 24727
3478.33/3488.37 c #Conflicts: 782000 | #Constraints: 25727
3478.33/3488.37 c #Conflicts: 783000 | #Constraints: 26727
3478.33/3488.37 c #Conflicts: 784000 | #Constraints: 27727
3478.33/3488.37 c #Conflicts: 785000 | #Constraints: 28727
3478.33/3488.37 c #Conflicts: 786000 | #Constraints: 29727
3478.33/3488.37 c #Conflicts: 787000 | #Constraints: 30727
3478.33/3488.37 c #Conflicts: 788000 | #Constraints: 31727
3478.33/3488.37 c #Conflicts: 789000 | #Constraints: 32727
3478.33/3488.37 c #Conflicts: 790000 | #Constraints: 33727
3478.33/3488.37 c #Conflicts: 791000 | #Constraints: 34727
3478.33/3488.37 c #Conflicts: 792000 | #Constraints: 35727
3478.33/3488.37 c INPROCESSING
3478.33/3488.37 c GARBAGE COLLECT
3478.33/3488.37 c #Conflicts: 793000 | #Constraints: 19130
3478.33/3488.37 c #Conflicts: 794000 | #Constraints: 20130
3478.33/3488.37 c #Conflicts: 795000 | #Constraints: 21130
3478.33/3488.37 c #Conflicts: 796000 | #Constraints: 22130
3478.33/3488.37 c #Conflicts: 797000 | #Constraints: 23130
3478.33/3488.37 c #Conflicts: 798000 | #Constraints: 24130
3478.33/3488.37 c #Conflicts: 799000 | #Constraints: 25130
3478.33/3488.37 c #Conflicts: 800000 | #Constraints: 26130
3478.33/3488.37 c #Conflicts: 801000 | #Constraints: 27130
3478.33/3488.37 c #Conflicts: 802000 | #Constraints: 28130
3478.33/3488.37 c #Conflicts: 803000 | #Constraints: 29130
3478.33/3488.37 c #Conflicts: 804000 | #Constraints: 30130
3478.33/3488.37 c #Conflicts: 805000 | #Constraints: 31130
3478.33/3488.37 c #Conflicts: 806000 | #Constraints: 32130
3478.33/3488.37 c #Conflicts: 807000 | #Constraints: 33130
3478.33/3488.37 c #Conflicts: 808000 | #Constraints: 34130
3478.33/3488.37 c #Conflicts: 809000 | #Constraints: 35130
3478.33/3488.37 c #Conflicts: 810000 | #Constraints: 36130
3478.33/3488.37 c INPROCESSING
3478.33/3488.37 c GARBAGE COLLECT
3478.33/3488.37 c #Conflicts: 811000 | #Constraints: 19328
3478.33/3488.37 c #Conflicts: 812000 | #Constraints: 20328
3478.33/3488.37 c #Conflicts: 813000 | #Constraints: 21328
3478.33/3488.37 c #Conflicts: 814000 | #Constraints: 22328
3478.33/3488.37 c #Conflicts: 815000 | #Constraints: 23328
3478.33/3488.37 c #Conflicts: 816000 | #Constraints: 24328
3478.33/3488.37 c #Conflicts: 817000 | #Constraints: 25328
3478.33/3488.37 c #Conflicts: 818000 | #Constraints: 26328
3478.33/3488.37 c #Conflicts: 819000 | #Constraints: 27328
3478.33/3488.37 c #Conflicts: 820000 | #Constraints: 28328
3478.33/3488.37 c #Conflicts: 821000 | #Constraints: 29328
3478.33/3488.37 c #Conflicts: 822000 | #Constraints: 30328
3478.33/3488.37 c #Conflicts: 823000 | #Constraints: 31328
3478.33/3488.37 c #Conflicts: 824000 | #Constraints: 32328
3478.33/3488.37 c #Conflicts: 825000 | #Constraints: 33328
3478.33/3488.37 c #Conflicts: 826000 | #Constraints: 34328
3478.33/3488.37 c #Conflicts: 827000 | #Constraints: 35328
3478.33/3488.37 c #Conflicts: 828000 | #Constraints: 36328
3478.33/3488.37 c INPROCESSING
3478.33/3488.37 c GARBAGE COLLECT
3478.33/3488.37 c #Conflicts: 829000 | #Constraints: 19325
3478.33/3488.37 c #Conflicts: 830000 | #Constraints: 20325
3478.33/3488.37 c #Conflicts: 831000 | #Constraints: 21325
3478.33/3488.37 c #Conflicts: 832000 | #Constraints: 22325
3478.33/3488.37 c #Conflicts: 833000 | #Constraints: 23325
3478.33/3488.37 c #Conflicts: 834000 | #Constraints: 24325
3478.33/3488.37 c #Conflicts: 835000 | #Constraints: 25325
3478.33/3488.37 c #Conflicts: 836000 | #Constraints: 26325
3478.33/3488.37 c #Conflicts: 837000 | #Constraints: 27325
3478.33/3488.37 c #Conflicts: 838000 | #Constraints: 28325
3478.33/3488.37 c #Conflicts: 839000 | #Constraints: 29325
3478.33/3488.37 c #Conflicts: 840000 | #Constraints: 30325
3478.33/3488.37 c #Conflicts: 841000 | #Constraints: 31325
3478.33/3488.37 c #Conflicts: 842000 | #Constraints: 32325
3478.33/3488.37 c #Conflicts: 843000 | #Constraints: 33325
3478.33/3488.37 c #Conflicts: 844000 | #Constraints: 34325
3478.33/3488.37 c #Conflicts: 845000 | #Constraints: 35325
3478.33/3488.37 c #Conflicts: 846000 | #Constraints: 36325
3478.33/3488.37 c INPROCESSING
3478.33/3488.37 c GARBAGE COLLECT
3478.33/3488.37 c #Conflicts: 847000 | #Constraints: 19127
3478.33/3488.37 c #Conflicts: 848000 | #Constraints: 20127
3478.33/3488.37 c #Conflicts: 849000 | #Constraints: 21127
3478.33/3488.37 c #Conflicts: 850000 | #Constraints: 22127
3478.33/3488.37 c #Conflicts: 851000 | #Constraints: 23127
3478.33/3488.37 c #Conflicts: 852000 | #Constraints: 24127
3600.05/3610.40 c #Conflicts: 853000 | #Constraints: 25127
3600.05/3610.40 c #Conflicts: 854000 | #Constraints: 26127
3600.05/3610.40 c #Conflicts: 855000 | #Constraints: 27127
3600.05/3610.40 c #Conflicts: 856000 | #Constraints: 28127
3600.05/3610.40 c #Conflicts: 857000 | #Constraints: 29127
3600.05/3610.40 c #Conflicts: 858000 | #Constraints: 30127
3600.05/3610.40 c #Conflicts: 859000 | #Constraints: 31127
3600.05/3610.40 c #Conflicts: 860000 | #Constraints: 32127
3600.05/3610.40 c #Conflicts: 861000 | #Constraints: 33127
3600.05/3610.40 c #Conflicts: 862000 | #Constraints: 34127
3600.05/3610.40 c #Conflicts: 863000 | #Constraints: 35127
3600.05/3610.40 c #Conflicts: 864000 | #Constraints: 36127
3600.05/3610.40 c #Conflicts: 865000 | #Constraints: 37127
3600.05/3610.40 c INPROCESSING
3600.05/3610.40 c GARBAGE COLLECT
3600.05/3610.40 c #Conflicts: 866000 | #Constraints: 19726
3600.05/3610.40 c #Conflicts: 867000 | #Constraints: 20726
3600.05/3610.40 c #Conflicts: 868000 | #Constraints: 21726
3600.05/3610.40 c #Conflicts: 869000 | #Constraints: 22726
3600.05/3610.40 c #Conflicts: 870000 | #Constraints: 23726
3600.05/3610.40 c #Conflicts: 871000 | #Constraints: 24726
3600.05/3610.40 c #Conflicts: 872000 | #Constraints: 25726
3600.05/3610.40 c #Conflicts: 873000 | #Constraints: 26726
3600.05/3610.40 c #Conflicts: 874000 | #Constraints: 27726
3600.05/3610.40 c #Conflicts: 875000 | #Constraints: 28726
3600.05/3610.40 c #Conflicts: 876000 | #Constraints: 29726
3600.05/3610.40 c Program interrupted by user.
3600.05/3610.40 c cpu time 3591.02 s
3600.05/3610.40 c deterministic time 405258263295 4.05e+11
3600.05/3610.40 c optimization time 48.5497 s
3600.05/3610.40 c total solve time 3243.29 s
3600.05/3610.40 c core-guided solve time 3243.29 s
3600.05/3610.40 c propagation time 2878.54 s
3600.05/3610.40 c conflict analysis time 359.439 s
3600.05/3610.40 c propagations 56852596
3600.05/3610.40 c resolve steps 4426659
3600.05/3610.40 c decisions 5546476
3600.05/3610.40 c conflicts 876297
3600.05/3610.40 c restarts 1904
3600.05/3610.40 c inprocessing phases 84
3600.05/3610.40 c input clauses 45
3600.05/3610.40 c input cardinalities 79
3600.05/3610.40 c input general constraints 462
3600.05/3610.40 c input average constraint length 70.34
3600.05/3610.40 c input average constraint degree 33.67
3600.05/3610.40 c learned clauses 158193
3600.05/3610.40 c learned cardinalities 335
3600.05/3610.40 c learned general constraints 717773
3600.05/3610.40 c learned average constraint length 320.94
3600.05/3610.40 c learned average constraint degree 257290.91
3600.05/3610.40 c watched constraints 603387
3600.05/3610.40 c counting constraints 114848
3600.05/3610.40 c gcd simplifications 125093
3600.05/3610.40 c detected cardinalities 247
3600.05/3610.40 c weakened non-implied lits 22887671
3600.05/3610.40 c weakened non-implying lits 73197
3600.05/3610.40 c original variables 467
3600.05/3610.40 c clausal propagations 773145
3600.05/3610.40 c cardinality propagations 79344
3600.05/3610.40 c watched propagations 31982109
3600.05/3610.40 c counting propagations 23311076
3600.05/3610.40 c watch lookups 66510948411
3600.05/3610.40 c watch backjump lookups 62686588077
3600.05/3610.40 c watch checks 268198680451
3600.05/3610.40 c propagation checks 6844786930
3600.05/3610.40 c constraint additions 891585426
3600.05/3610.40 c trail pops 63274927
3600.05/3610.40 c formula constraints 466
3600.05/3610.40 c learned constraints 876301
3600.05/3610.40 c bound constraints 79
3600.05/3610.40 c core-guided constraints 41
3600.05/3610.40 c encountered formula constraints 2745399
3600.05/3610.40 c encountered learned constraints 2501104
3600.05/3610.40 c encountered bound constraints 249
3600.05/3610.40 c encountered core-guided constraints 56204
3600.05/3610.40 c LP total time 0 s
3600.05/3610.40 c LP solve time 0 s
3600.05/3610.40 c LP constraints added 0
3600.05/3610.40 c LP constraints removed 0
3600.05/3610.40 c LP pivots internal 0
3600.05/3610.40 c LP pivots root 0
3600.05/3610.40 c LP calls 0
3600.05/3610.40 c LP optimalities 0
3600.05/3610.40 c LP no pivot count 0
3600.05/3610.40 c LP infeasibilities 0
3600.05/3610.40 c LP valid Farkas constraints 0
3600.05/3610.40 c LP learned Farkas constraints 0
3600.05/3610.40 c LP basis resets 0
3600.05/3610.40 c LP cycling count 0
3600.05/3610.40 c LP singular count 0
3600.05/3610.40 c LP no primal count 0
3600.05/3610.40 c LP no farkas count 0
3600.05/3610.40 c LP other issue count 0
3600.05/3610.40 c LP Gomory cuts 0
3600.05/3610.40 c LP learned cuts 0
3600.05/3610.40 c LP deleted cuts 0
3600.05/3610.40 c LP encountered Gomory constraints 0
3600.05/3610.40 c LP encountered Farkas constraints 0
3600.05/3610.40 c LP encountered learned Farkas constraints 0
3600.05/3610.40 c CG auxiliary variables introduced 41
3600.05/3610.40 c CG solutions found 0
3600.05/3610.40 c CG cores constructed 78
3600.05/3610.40 c CG core cardinality constraints returned 0
3600.05/3610.40 c CG unit cores 0
3600.05/3610.40 c CG single cores 78
3600.05/3610.40 c CG blocks removed during cardinality reduction 0
3600.05/3610.40 c CG first core best 0
3600.05/3610.40 c CG decision core best 0
3600.05/3610.40 c CG core reduction tie 0
3600.05/3610.40 c CG core degree average 1.00
3600.05/3610.40 c CG core slack average 2.77
3600.05/3610.40 c CG exhausted 0
3600.05/3610.40 c CG exhaust time 0 s
3600.05/3610.40 c CG trimmed 1
3600.05/3610.40 c CG trim time 0.000865 s
3600.05/3610.40 c CG minimized 0
3600.05/3610.40 c CG minimize time 0 s
3600.05/3610.40 c CG am1 prop time 0.000307 s
3600.05/3610.40 c CG # am1s reformulated 41
3600.05/3610.40 c CG lower bound derived from am1s 41
3600.05/3610.40 c CG # clausal cores 12
3600.05/3610.40 c CG # cardinality cores 0
3600.05/3610.40 c CG # pb cores 66
3600.05/3610.40 c CG # pb reforms 0
3600.05/3610.40 c CG # cores discarded because of pb reform 0
3600.05/3610.40 d LOWERBOUND 119
3600.05/3610.40 d NCORES 78
3600.05/3610.40 d NPBCORES 66
3600.05/3610.40 d NPBREFORM 0
3600.05/3610.40 d NTRIMMED 1
3600.05/3610.40 d NEXHAUSTED 0
3600.05/3610.40 d NAM1S 41
3600.05/3610.40 d AM1LB 41
3600.05/3610.40 c [Papilo Statistics]
3600.05/3610.40 c prepro time 0.00146301s
3600.05/3610.40 c # tsx applied 23
3600.05/3610.40 c # tsx conflicts 0
3600.05/3610.40 c # bound changes 0
3600.05/3610.40 c # side changes 0
3600.05/3610.40 c # coef changes 54
3600.05/3610.40 c # rounds 3
3600.05/3610.40 c # deted vars 0
3600.05/3610.40 c # deted constrs 0
3600.05/3610.40 c # consecutive rounds of only bound changes 0
3600.05/3610.40 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: 63665 MiB (51990 MiB free)
memory of node 1: 64507 MiB (62847 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528915-1752256513/watcher-4528915-1752256513 -o /tmp/evaluation-result-4528915-1752256513/solver-4528915-1752256513 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133553 --watchdog 3760 mixed-bag HOME/instance-4528915-1752256513.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=133762, runsolver pid=133759
[startup+0.10006 s]*
/proc/loadavg: 4.12 3.03 2.47 5/265 133763
/proc/meminfo: memFree=117591792/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=99360 memory=27236 CPUtime=0.08 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 3074 0 0 0 8 0 0 0 20 0 1 0 141331528 101744640 6809 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 24840 6809 4256 2834 0 7045 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 99360 KiB
Current children cumulated memory: 27236 KiB
[startup+0.205377 s]*
/proc/loadavg: 4.12 3.03 2.47 5/265 133763
/proc/meminfo: memFree=117591792/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=99488 memory=27492 CPUtime=0.18 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 3137 0 0 0 18 0 0 0 20 0 1 0 141331528 101875712 6873 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 24872 6873 4256 2834 0 7077 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 99488 KiB
Current children cumulated memory: 27492 KiB
[startup+0.304593 s]*
/proc/loadavg: 4.12 3.03 2.47 5/265 133763
/proc/meminfo: memFree=117591792/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=99488 memory=27492 CPUtime=0.28 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 3141 0 0 0 28 0 0 0 20 0 1 0 141331528 101875712 6873 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 24872 6873 4256 2834 0 7077 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 99488 KiB
Current children cumulated memory: 27492 KiB
[startup+0.700106 s]
/proc/loadavg: 4.12 3.03 2.47 5/265 133763
/proc/meminfo: memFree=117591792/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=106156 memory=33800 CPUtime=0.67 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 4796 0 0 0 67 0 0 0 20 0 1 0 141331528 108703744 8450 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 26539 8450 4256 2834 0 8744 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 106156 KiB
Current children cumulated memory: 33800 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 3.03 2.47 5/265 133763
/proc/meminfo: memFree=117548720/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=178560 memory=105420 CPUtime=1.47 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 24331 0 0 0 143 4 0 0 20 0 1 0 141331528 182845440 26355 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 44640 26355 4256 2834 0 26845 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 178560 KiB
Current children cumulated memory: 105420 KiB
[startup+3.1052 s]
/proc/loadavg: 4.11 3.05 2.48 5/265 133763
/proc/meminfo: memFree=117456236/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=234480 memory=159436 CPUtime=3.07 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 37801 0 0 0 301 6 0 0 20 0 1 0 141331528 240107520 39859 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 58620 39859 4288 2834 0 40825 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 234480 KiB
Current children cumulated memory: 159436 KiB
[startup+6.30009 s]
/proc/loadavg: 4.11 3.05 2.48 5/265 133763
/proc/meminfo: memFree=117454552/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=234480 memory=159436 CPUtime=6.25 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 37802 0 0 0 619 6 0 0 20 0 1 0 141331528 240107520 39859 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 58620 39859 4288 2834 0 40825 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 234480 KiB
Current children cumulated memory: 159436 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 3.06 2.49 5/264 133763
/proc/meminfo: memFree=117438488/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=234480 memory=159436 CPUtime=12.64 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 37802 0 0 0 1258 6 0 0 20 0 1 0 141331528 240107520 39859 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 58620 39859 4288 2834 0 40825 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 234480 KiB
Current children cumulated memory: 159436 KiB
[startup+25.5001 s]
/proc/loadavg: 4.08 3.11 2.51 5/264 133764
/proc/meminfo: memFree=117399164/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=264248 memory=187572 CPUtime=25.41 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 45736 0 0 0 2533 8 0 0 20 0 1 0 141331528 270589952 46893 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 66062 46893 4288 2834 0 48267 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 264248 KiB
Current children cumulated memory: 187572 KiB
[startup+51.1052 s]
/proc/loadavg: 4.12 3.20 2.56 5/264 133764
/proc/meminfo: memFree=117374380/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=269160 memory=192692 CPUtime=50.93 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 47007 0 0 0 5085 8 0 0 20 0 1 0 141331528 275619840 48173 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 67290 48173 4288 2834 0 49495 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 269160 KiB
Current children cumulated memory: 192692 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 3.34 2.64 5/264 133766
/proc/meminfo: memFree=117337336/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=290376 memory=214708 CPUtime=101.98 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 52584 0 0 0 10189 9 0 0 20 0 1 0 141331528 297345024 53677 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 72594 53677 4288 2834 0 54799 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 290376 KiB
Current children cumulated memory: 214708 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 3.46 2.73 5/263 133768
/proc/meminfo: memFree=117298040/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=359572 memory=283316 CPUtime=161.8 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 69717 0 0 0 16169 11 0 0 20 0 1 0 141331528 368201728 70829 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 89893 70829 4288 2834 0 72098 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 359572 KiB
Current children cumulated memory: 283316 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 3.59 2.82 5/263 133770
/proc/meminfo: memFree=117286552/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=359572 memory=283316 CPUtime=221.62 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 69721 0 0 0 22151 11 0 0 20 0 1 0 141331528 368201728 70829 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 89893 70829 4288 2834 0 72098 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 359572 KiB
Current children cumulated memory: 283316 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.68 2.90 5/264 133775
/proc/meminfo: memFree=117275804/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=359572 memory=283316 CPUtime=281.44 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 69732 0 0 0 28133 11 0 0 20 0 1 0 141331528 368201728 70829 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 89893 70829 4288 2834 0 72098 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 359572 KiB
Current children cumulated memory: 283316 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.77 2.98 5/264 133777
/proc/meminfo: memFree=117316816/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=305376 memory=231524 CPUtime=341.26 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 72106 0 0 0 34053 73 0 0 20 0 1 0 141331528 312705024 57881 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 76344 57881 4448 2834 0 58549 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 305376 KiB
Current children cumulated memory: 231524 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.83 3.06 5/264 133790
/proc/meminfo: memFree=117278188/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=324344 memory=239376 CPUtime=401.06 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 72551 0 0 0 39986 120 0 0 20 0 1 0 141331528 332128256 59844 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 81086 59844 4448 2834 0 63291 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 324344 KiB
Current children cumulated memory: 239376 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.88 3.12 5/264 133796
/proc/meminfo: memFree=117258716/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=324344 memory=246112 CPUtime=460.87 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 72687 0 0 0 45922 165 0 0 20 0 1 0 141331528 332128256 61528 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 81086 61528 4448 2834 0 63291 0
################
# More data... #
################
Current children cumulated memory: 298524 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.07 5/264 133908
/proc/meminfo: memFree=117043640/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=298524 CPUtime=2854.17 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74283 0 0 0 284658 759 0 0 20 0 1 0 141331528 414978048 74631 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 74631 4448 2834 0 83518 0
Current children cumulated CPU time: 2854.17 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 298524 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.13 4.07 5/264 133910
/proc/meminfo: memFree=117048452/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=298524 CPUtime=2913.99 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74284 0 0 0 290630 769 0 0 20 0 1 0 141331528 414978048 74631 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 74631 4448 2834 0 83518 0
Current children cumulated CPU time: 2913.99 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 298524 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.12 4.07 5/264 133912
/proc/meminfo: memFree=117043484/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=298524 CPUtime=2973.83 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74284 0 0 0 296599 784 0 0 20 0 1 0 141331528 414978048 74631 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 74631 4448 2834 0 83518 0
Current children cumulated CPU time: 2973.83 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 298524 KiB
[startup+3042.3 s]
/proc/loadavg: 4.36 4.17 4.09 5/264 133914
/proc/meminfo: memFree=117043404/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=298524 CPUtime=3033.65 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74284 0 0 0 302570 795 0 0 20 0 1 0 141331528 414978048 74631 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 74631 4448 2834 0 83518 0
Current children cumulated CPU time: 3033.65 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 298524 KiB
[startup+3102.3 s]
/proc/loadavg: 4.32 4.20 4.11 5/264 133916
/proc/meminfo: memFree=117039444/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=300572 CPUtime=3093.49 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74285 0 0 0 308541 808 0 0 20 0 1 0 141331528 414978048 75143 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 75143 4448 2834 0 83518 0
Current children cumulated CPU time: 3093.49 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 300572 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.18 4.10 5/263 133918
/proc/meminfo: memFree=117033460/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=300572 CPUtime=3153.31 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74285 0 0 0 314512 819 0 0 20 0 1 0 141331528 414978048 75143 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 75143 4448 2834 0 83518 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 300572 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.14 4.09 5/263 133920
/proc/meminfo: memFree=117031300/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=300572 CPUtime=3213.15 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74285 0 0 0 320484 831 0 0 20 0 1 0 141331528 414978048 75143 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 75143 4448 2834 0 83518 0
Current children cumulated CPU time: 3213.15 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 300572 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/264 133925
/proc/meminfo: memFree=117030768/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=300572 CPUtime=3272.98 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74285 0 0 0 326454 844 0 0 20 0 1 0 141331528 414978048 75143 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 75143 4448 2834 0 83518 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 300572 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 134062
/proc/meminfo: memFree=117597220/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=300572 CPUtime=3332.79 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74285 0 0 0 332423 856 0 0 20 0 1 0 141331528 414978048 75143 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 75143 4448 2834 0 83518 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 300572 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 134064
/proc/meminfo: memFree=117569068/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=302620 CPUtime=3392.6 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74286 0 0 0 338394 866 0 0 20 0 1 0 141331528 414978048 75655 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 75655 4448 2834 0 83518 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 302620 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/265 134071
/proc/meminfo: memFree=117552632/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=302620 CPUtime=3452.42 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74286 0 0 0 344369 873 0 0 20 0 1 0 141331528 414978048 75655 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 75655 4448 2834 0 83518 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 302620 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 134073
/proc/meminfo: memFree=117552792/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=304668 CPUtime=3512.22 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74287 0 0 0 350335 887 0 0 20 0 1 0 141331528 414978048 76167 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 76167 4448 2834 0 83518 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 304668 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/264 134075
/proc/meminfo: memFree=117491268/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=304668 CPUtime=3572.04 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74287 0 0 0 356306 898 0 0 20 0 1 0 141331528 414978048 76167 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 76167 4448 2834 0 83518 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 304668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.09 4.13 4.09 5/264 134076
/proc/meminfo: memFree=117499068/131250000 swapFree=33008868/33010684
[pid=133762] ppid=133759 vsize=405252 memory=304668 CPUtime=3600.05 cores=1,3
/proc/133762/stat : 133762 (mixed-bag) R 133759 133762 133541 0 -1 4194304 74287 0 0 0 359101 904 0 0 20 0 1 0 141331528 414978048 76167 18446744073709551615 4235264 15840557 140735068459344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 37109760 140735068461466 140735068461543 140735068461543 140735068467147 0
/proc/133762/statm: 101313 76167 4448 2834 0 83518 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 405252 KiB
Current children cumulated memory: 304668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 133762 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.02 s, system=9.04777 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.41
CPU time (s): 3600.07
CPU user time (s): 3591.02
CPU system time (s): 9.04777
CPU usage (%): 99.7135
Max. virtual memory (cumulated for all children) (KiB): 405252
Max. memory (cumulated for all children) (KiB): 304668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.02
system time used= 9.04777
maximum resident set size= 305308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74317
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= 176
involuntary context switches= 4856
# summary of solver processes directly reported to runsolver:
# pid: 133762
# total CPU time (s): 3600.07
# total CPU user time (s): 3591.02
# total CPU system time (s): 9.04777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08863 second user time and 15.5362 second system time
The end
Begin job on nodeC013 at 2025-07-11 19:55:13
IDJOB=4528915
IDBENCH=147542
IDSOLVER=3386
FILE ID=nodeC013/4528915-1752256513
RUNJOBID= nodeC013-1752256208-133553
SLURM_JOB_ID= 9682595
Free space on /tmp= 432200 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528915-1752256513/watcher-4528915-1752256513 -o /tmp/evaluation-result-4528915-1752256513/solver-4528915-1752256513 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133553 --watchdog 3760 mixed-bag HOME/instance-4528915-1752256513.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=1277837475
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3600.670
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3600.354
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.849
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.836
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.810
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.769
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.777
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 117593652 kB
MemAvailable: 128752464 kB
Buffers: 1668 kB
Cached: 11905124 kB
SwapCached: 160 kB
Active: 1399340 kB
Inactive: 11462692 kB
Active(anon): 971680 kB
Inactive(anon): 4868 kB
Active(file): 427660 kB
Inactive(file): 11457824 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15296 kB
Writeback: 8 kB
AnonPages: 954456 kB
Mapped: 136656 kB
Shmem: 21308 kB
KReclaimable: 224736 kB
Slab: 319704 kB
SReclaimable: 224736 kB
SUnreclaim: 94968 kB
KernelStack: 4316 kB
PageTables: 5380 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1368132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 346112 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432184 MiB
End job on nodeC013 at 2025-07-11 20:55:23