0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
299.29/300.15 c [STEP] preprocessing done, loading into solver
299.29/300.15 c [STEP] solving
299.29/300.15 c #variables 477 #constraints 476
299.29/300.15 c SMALL=int, LARGE=long long
299.29/300.15 c bounds - >= 0 @ 299.152
299.29/300.15 c stratification level: 0
315.84/316.75 c bounds - >= 50 @ 299.152
315.84/316.75 c bounds - >= 51 @ 299.152
315.84/316.75 c bounds - >= 52 @ 299.152
315.84/316.75 c bounds - >= 53 @ 299.152
315.84/316.75 c bounds - >= 54 @ 299.152
315.84/316.75 c bounds - >= 55 @ 299.152
315.84/316.75 c bounds - >= 56 @ 299.152
315.84/316.75 c bounds - >= 57 @ 299.152
315.84/316.75 c bounds - >= 58 @ 299.152
315.84/316.75 c bounds - >= 59 @ 299.152
315.84/316.75 c bounds - >= 60 @ 299.152
315.84/316.75 c bounds - >= 61 @ 299.152
315.84/316.75 c bounds - >= 62 @ 299.152
315.84/316.75 c bounds - >= 63 @ 299.152
315.84/316.75 c bounds - >= 64 @ 299.153
315.84/316.75 c bounds - >= 65 @ 299.153
315.84/316.75 c bounds - >= 66 @ 299.153
315.84/316.75 c bounds - >= 67 @ 299.153
315.84/316.75 c bounds - >= 68 @ 299.153
315.84/316.75 c bounds - >= 69 @ 299.153
315.84/316.75 c bounds - >= 70 @ 299.153
315.84/316.75 c bounds - >= 71 @ 299.153
315.84/316.75 c bounds - >= 72 @ 299.153
315.84/316.75 c bounds - >= 73 @ 299.154
315.84/316.75 c bounds - >= 74 @ 299.154
315.84/316.75 c bounds - >= 75 @ 299.154
315.84/316.75 c bounds - >= 76 @ 299.154
315.84/316.75 c bounds - >= 77 @ 299.154
315.84/316.75 c bounds - >= 78 @ 299.154
315.84/316.75 c bounds - >= 79 @ 299.154
315.84/316.75 c bounds - >= 80 @ 299.154
315.84/316.75 c bounds - >= 81 @ 299.154
315.84/316.75 c bounds - >= 82 @ 299.154
315.84/316.75 c bounds - >= 83 @ 299.154
315.84/316.75 c bounds - >= 84 @ 299.154
315.84/316.75 c bounds - >= 85 @ 299.154
315.84/316.75 c bounds - >= 86 @ 299.154
315.84/316.75 c bounds - >= 87 @ 299.154
315.84/316.75 c bounds - >= 88 @ 299.154
315.84/316.75 c bounds - >= 89 @ 299.154
315.84/316.75 c bounds - >= 90 @ 299.154
315.84/316.75 c bounds - >= 91 @ 299.154
315.84/316.75 c bounds - >= 92 @ 299.154
315.84/316.75 c bounds - >= 93 @ 299.154
315.84/316.75 c bounds - >= 94 @ 299.154
315.84/316.75 c bounds - >= 95 @ 299.154
315.84/316.75 c bounds - >= 96 @ 299.154
315.84/316.75 c bounds - >= 97 @ 299.155
315.84/316.75 c bounds - >= 98 @ 299.155
315.84/316.75 c bounds - >= 99 @ 299.155
315.84/316.75 c bounds - >= 100 @ 299.155
315.84/316.75 c bounds - >= 101 @ 299.155
315.84/316.75 c bounds - >= 102 @ 299.155
315.84/316.75 c bounds - >= 103 @ 299.155
315.84/316.75 c bounds - >= 104 @ 299.155
315.84/316.75 c bounds - >= 105 @ 299.156
315.84/316.75 c bounds - >= 106 @ 299.156
315.84/316.75 c bounds - >= 107 @ 299.156
315.84/316.75 c bounds - >= 108 @ 299.156
315.84/316.75 c bounds - >= 109 @ 299.156
315.84/316.75 c bounds - >= 110 @ 299.156
315.84/316.75 c bounds - >= 111 @ 299.156
315.84/316.75 c bounds - >= 112 @ 299.156
315.84/316.75 c bounds - >= 113 @ 299.156
315.84/316.75 c bounds - >= 114 @ 299.156
315.84/316.75 c bounds - >= 115 @ 299.156
315.84/316.75 c bounds - >= 116 @ 299.156
315.84/316.75 c bounds - >= 117 @ 299.156
315.84/316.75 c bounds - >= 118 @ 299.156
315.84/316.75 c bounds - >= 119 @ 299.157
315.84/316.75 c bounds - >= 120 @ 299.157
315.84/316.75 c bounds - >= 121 @ 299.157
315.84/316.75 c bounds - >= 122 @ 299.157
315.84/316.75 c bounds - >= 123 @ 299.157
315.84/316.75 c bounds - >= 124 @ 299.157
315.84/316.75 c #Conflicts: 1000 | #Constraints: 1610
315.84/316.75 c #Conflicts: 2000 | #Constraints: 2610
315.84/316.75 c INPROCESSING
315.84/316.75 c GARBAGE COLLECT
315.84/316.75 c #Conflicts: 3000 | #Constraints: 2539
315.84/316.75 c #Conflicts: 4000 | #Constraints: 3539
315.84/316.75 c INPROCESSING
315.84/316.75 c GARBAGE COLLECT
315.84/316.75 c #Conflicts: 5000 | #Constraints: 2943
315.84/316.75 c #Conflicts: 6000 | #Constraints: 3943
315.84/316.75 c INPROCESSING
315.84/316.75 c GARBAGE COLLECT
315.84/316.75 c #Conflicts: 7000 | #Constraints: 2946
315.84/316.75 c #Conflicts: 8000 | #Constraints: 3946
315.84/316.75 c #Conflicts: 9000 | #Constraints: 4946
315.84/316.75 c INPROCESSING
315.84/316.75 c GARBAGE COLLECT
315.84/316.75 c #Conflicts: 10000 | #Constraints: 3647
315.84/316.75 c #Conflicts: 11000 | #Constraints: 4647
315.84/316.75 c #Conflicts: 12000 | #Constraints: 5647
315.84/316.75 c INPROCESSING
315.84/316.75 c GARBAGE COLLECT
315.84/316.75 c #Conflicts: 13000 | #Constraints: 4093
315.84/316.75 c #Conflicts: 14000 | #Constraints: 5093
315.84/316.75 c #Conflicts: 15000 | #Constraints: 6093
315.84/316.75 c INPROCESSING
315.84/316.75 c GARBAGE COLLECT
315.84/316.75 c #Conflicts: 16000 | #Constraints: 4321
315.84/316.75 c #Conflicts: 17000 | #Constraints: 5321
315.84/316.75 c #Conflicts: 18000 | #Constraints: 6321
315.84/316.75 c INPROCESSING
315.84/316.75 c GARBAGE COLLECT
315.84/316.75 c #Conflicts: 19000 | #Constraints: 4338
315.84/316.75 c #Conflicts: 20000 | #Constraints: 5338
315.84/316.75 c #Conflicts: 21000 | #Constraints: 6338
315.84/316.75 c INPROCESSING
315.84/316.75 c GARBAGE COLLECT
315.84/316.75 c #Conflicts: 22000 | #Constraints: 4142
315.84/316.75 c #Conflicts: 23000 | #Constraints: 5142
315.84/316.75 c #Conflicts: 24000 | #Constraints: 6142
315.84/316.75 c #Conflicts: 25000 | #Constraints: 7142
315.84/316.75 c INPROCESSING
315.84/316.75 c GARBAGE COLLECT
315.84/316.75 c #Conflicts: 26000 | #Constraints: 4743
315.84/316.75 c #Conflicts: 27000 | #Constraints: 5743
315.84/316.75 c #Conflicts: 28000 | #Constraints: 6743
315.84/316.75 c #Conflicts: 29000 | #Constraints: 7743
315.84/316.75 c INPROCESSING
315.84/316.75 c GARBAGE COLLECT
315.84/316.75 c #Conflicts: 30000 | #Constraints: 5141
315.84/316.75 c #Conflicts: 31000 | #Constraints: 6141
315.84/316.75 c #Conflicts: 32000 | #Constraints: 7141
315.84/316.75 c #Conflicts: 33000 | #Constraints: 8141
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 34000 | #Constraints: 5345
412.97/414.12 c #Conflicts: 35000 | #Constraints: 6345
412.97/414.12 c #Conflicts: 36000 | #Constraints: 7345
412.97/414.12 c #Conflicts: 37000 | #Constraints: 8345
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 38000 | #Constraints: 5353
412.97/414.12 c #Conflicts: 39000 | #Constraints: 6353
412.97/414.12 c #Conflicts: 40000 | #Constraints: 7353
412.97/414.12 c #Conflicts: 41000 | #Constraints: 8353
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 42000 | #Constraints: 5153
412.97/414.12 c #Conflicts: 43000 | #Constraints: 6153
412.97/414.12 c #Conflicts: 44000 | #Constraints: 7153
412.97/414.12 c #Conflicts: 45000 | #Constraints: 8153
412.97/414.12 c #Conflicts: 46000 | #Constraints: 9153
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 47000 | #Constraints: 5745
412.97/414.12 c #Conflicts: 48000 | #Constraints: 6745
412.97/414.12 c #Conflicts: 49000 | #Constraints: 7745
412.97/414.12 c #Conflicts: 50000 | #Constraints: 8745
412.97/414.12 c #Conflicts: 51000 | #Constraints: 9745
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 52000 | #Constraints: 6142
412.97/414.12 c #Conflicts: 53000 | #Constraints: 7142
412.97/414.12 c #Conflicts: 54000 | #Constraints: 8142
412.97/414.12 c #Conflicts: 55000 | #Constraints: 9142
412.97/414.12 c #Conflicts: 56000 | #Constraints: 10142
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 57000 | #Constraints: 6343
412.97/414.12 c #Conflicts: 58000 | #Constraints: 7343
412.97/414.12 c #Conflicts: 59000 | #Constraints: 8343
412.97/414.12 c #Conflicts: 60000 | #Constraints: 9343
412.97/414.12 c #Conflicts: 61000 | #Constraints: 10343
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 62000 | #Constraints: 6345
412.97/414.12 c #Conflicts: 63000 | #Constraints: 7345
412.97/414.12 c #Conflicts: 64000 | #Constraints: 8345
412.97/414.12 c #Conflicts: 65000 | #Constraints: 9345
412.97/414.12 c #Conflicts: 66000 | #Constraints: 10345
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 67000 | #Constraints: 6143
412.97/414.12 c #Conflicts: 68000 | #Constraints: 7143
412.97/414.12 c #Conflicts: 69000 | #Constraints: 8143
412.97/414.12 c #Conflicts: 70000 | #Constraints: 9143
412.97/414.12 c #Conflicts: 71000 | #Constraints: 10143
412.97/414.12 c #Conflicts: 72000 | #Constraints: 11143
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 73000 | #Constraints: 6741
412.97/414.12 c #Conflicts: 74000 | #Constraints: 7741
412.97/414.12 c #Conflicts: 75000 | #Constraints: 8741
412.97/414.12 c #Conflicts: 76000 | #Constraints: 9741
412.97/414.12 c #Conflicts: 77000 | #Constraints: 10741
412.97/414.12 c #Conflicts: 78000 | #Constraints: 11741
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 79000 | #Constraints: 7152
412.97/414.12 c #Conflicts: 80000 | #Constraints: 8152
412.97/414.12 c #Conflicts: 81000 | #Constraints: 9152
412.97/414.12 c #Conflicts: 82000 | #Constraints: 10152
412.97/414.12 c #Conflicts: 83000 | #Constraints: 11152
412.97/414.12 c #Conflicts: 84000 | #Constraints: 12152
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 85000 | #Constraints: 7351
412.97/414.12 c #Conflicts: 86000 | #Constraints: 8351
412.97/414.12 c #Conflicts: 87000 | #Constraints: 9351
412.97/414.12 c #Conflicts: 88000 | #Constraints: 10351
412.97/414.12 c #Conflicts: 89000 | #Constraints: 11351
412.97/414.12 c #Conflicts: 90000 | #Constraints: 12351
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 91000 | #Constraints: 7357
412.97/414.12 c #Conflicts: 92000 | #Constraints: 8357
412.97/414.12 c #Conflicts: 93000 | #Constraints: 9357
412.97/414.12 c #Conflicts: 94000 | #Constraints: 10357
412.97/414.12 c #Conflicts: 95000 | #Constraints: 11357
412.97/414.12 c #Conflicts: 96000 | #Constraints: 12357
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
412.97/414.12 c #Conflicts: 97000 | #Constraints: 7154
412.97/414.12 c #Conflicts: 98000 | #Constraints: 8154
412.97/414.12 c #Conflicts: 99000 | #Constraints: 9154
412.97/414.12 c #Conflicts: 100000 | #Constraints: 10154
412.97/414.12 c #Conflicts: 101000 | #Constraints: 11154
412.97/414.12 c #Conflicts: 102000 | #Constraints: 12154
412.97/414.12 c #Conflicts: 103000 | #Constraints: 13154
412.97/414.12 c INPROCESSING
412.97/414.12 c GARBAGE COLLECT
526.54/528.05 c #Conflicts: 104000 | #Constraints: 7748
526.54/528.05 c #Conflicts: 105000 | #Constraints: 8748
526.54/528.05 c #Conflicts: 106000 | #Constraints: 9748
526.54/528.05 c #Conflicts: 107000 | #Constraints: 10748
526.54/528.05 c #Conflicts: 108000 | #Constraints: 11748
526.54/528.05 c #Conflicts: 109000 | #Constraints: 12748
526.54/528.05 c #Conflicts: 110000 | #Constraints: 13748
526.54/528.05 c INPROCESSING
526.54/528.05 c GARBAGE COLLECT
526.54/528.05 c #Conflicts: 111000 | #Constraints: 8149
526.54/528.05 c #Conflicts: 112000 | #Constraints: 9149
526.54/528.05 c #Conflicts: 113000 | #Constraints: 10149
526.54/528.05 c #Conflicts: 114000 | #Constraints: 11149
526.54/528.05 c #Conflicts: 115000 | #Constraints: 12149
526.54/528.05 c #Conflicts: 116000 | #Constraints: 13149
526.54/528.05 c #Conflicts: 117000 | #Constraints: 14149
526.54/528.05 c INPROCESSING
526.54/528.05 c GARBAGE COLLECT
526.54/528.05 c #Conflicts: 118000 | #Constraints: 8347
526.54/528.05 c #Conflicts: 119000 | #Constraints: 9347
526.54/528.05 c #Conflicts: 120000 | #Constraints: 10347
526.54/528.05 c #Conflicts: 121000 | #Constraints: 11347
526.54/528.05 c #Conflicts: 122000 | #Constraints: 12347
526.54/528.05 c #Conflicts: 123000 | #Constraints: 13347
526.54/528.05 c #Conflicts: 124000 | #Constraints: 14347
526.54/528.05 c INPROCESSING
526.54/528.05 c GARBAGE COLLECT
526.54/528.05 c #Conflicts: 125000 | #Constraints: 8342
526.54/528.05 c #Conflicts: 126000 | #Constraints: 9342
526.54/528.05 c #Conflicts: 127000 | #Constraints: 10342
526.54/528.05 c #Conflicts: 128000 | #Constraints: 11342
526.54/528.05 c #Conflicts: 129000 | #Constraints: 12342
526.54/528.05 c #Conflicts: 130000 | #Constraints: 13342
526.54/528.05 c #Conflicts: 131000 | #Constraints: 14342
526.54/528.05 c INPROCESSING
526.54/528.05 c GARBAGE COLLECT
526.54/528.05 c #Conflicts: 132000 | #Constraints: 8142
526.54/528.05 c #Conflicts: 133000 | #Constraints: 9142
526.54/528.05 c #Conflicts: 134000 | #Constraints: 10142
526.54/528.05 c #Conflicts: 135000 | #Constraints: 11142
526.54/528.05 c #Conflicts: 136000 | #Constraints: 12142
526.54/528.05 c #Conflicts: 137000 | #Constraints: 13142
526.54/528.05 c #Conflicts: 138000 | #Constraints: 14142
526.54/528.05 c #Conflicts: 139000 | #Constraints: 15142
526.54/528.05 c INPROCESSING
526.54/528.05 c GARBAGE COLLECT
526.54/528.05 c #Conflicts: 140000 | #Constraints: 8742
526.54/528.05 c #Conflicts: 141000 | #Constraints: 9742
526.54/528.05 c #Conflicts: 142000 | #Constraints: 10742
526.54/528.05 c #Conflicts: 143000 | #Constraints: 11742
526.54/528.05 c #Conflicts: 144000 | #Constraints: 12742
526.54/528.05 c #Conflicts: 145000 | #Constraints: 13742
526.54/528.05 c #Conflicts: 146000 | #Constraints: 14742
526.54/528.05 c #Conflicts: 147000 | #Constraints: 15742
526.54/528.05 c INPROCESSING
526.54/528.05 c GARBAGE COLLECT
526.54/528.05 c #Conflicts: 148000 | #Constraints: 9143
526.54/528.05 c #Conflicts: 149000 | #Constraints: 10143
526.54/528.05 c #Conflicts: 150000 | #Constraints: 11143
526.54/528.05 c #Conflicts: 151000 | #Constraints: 12143
526.54/528.05 c #Conflicts: 152000 | #Constraints: 13143
526.54/528.05 c #Conflicts: 153000 | #Constraints: 14143
526.54/528.05 c #Conflicts: 154000 | #Constraints: 15143
526.54/528.05 c #Conflicts: 155000 | #Constraints: 16143
526.54/528.05 c INPROCESSING
526.54/528.05 c GARBAGE COLLECT
526.54/528.05 c #Conflicts: 156000 | #Constraints: 9345
526.54/528.05 c #Conflicts: 157000 | #Constraints: 10345
526.54/528.05 c #Conflicts: 158000 | #Constraints: 11345
526.54/528.05 c #Conflicts: 159000 | #Constraints: 12345
526.54/528.05 c #Conflicts: 160000 | #Constraints: 13345
526.54/528.05 c #Conflicts: 161000 | #Constraints: 14345
526.54/528.05 c #Conflicts: 162000 | #Constraints: 15345
526.54/528.05 c #Conflicts: 163000 | #Constraints: 16345
526.54/528.05 c INPROCESSING
526.54/528.05 c GARBAGE COLLECT
526.54/528.05 c #Conflicts: 164000 | #Constraints: 9346
526.54/528.05 c #Conflicts: 165000 | #Constraints: 10346
526.54/528.05 c #Conflicts: 166000 | #Constraints: 11346
526.54/528.05 c #Conflicts: 167000 | #Constraints: 12346
526.54/528.05 c #Conflicts: 168000 | #Constraints: 13346
526.54/528.05 c #Conflicts: 169000 | #Constraints: 14346
526.54/528.05 c #Conflicts: 170000 | #Constraints: 15346
526.54/528.05 c #Conflicts: 171000 | #Constraints: 16346
526.54/528.05 c INPROCESSING
526.54/528.05 c GARBAGE COLLECT
526.54/528.05 c #Conflicts: 172000 | #Constraints: 9151
526.54/528.05 c #Conflicts: 173000 | #Constraints: 10151
526.54/528.05 c #Conflicts: 174000 | #Constraints: 11151
526.54/528.05 c #Conflicts: 175000 | #Constraints: 12151
526.54/528.05 c #Conflicts: 176000 | #Constraints: 13151
680.14/682.10 c #Conflicts: 177000 | #Constraints: 14151
680.14/682.10 c #Conflicts: 178000 | #Constraints: 15151
680.14/682.10 c #Conflicts: 179000 | #Constraints: 16151
680.14/682.10 c #Conflicts: 180000 | #Constraints: 17151
680.14/682.10 c INPROCESSING
680.14/682.10 c GARBAGE COLLECT
680.14/682.10 c #Conflicts: 181000 | #Constraints: 9754
680.14/682.10 c #Conflicts: 182000 | #Constraints: 10754
680.14/682.10 c #Conflicts: 183000 | #Constraints: 11754
680.14/682.10 c #Conflicts: 184000 | #Constraints: 12754
680.14/682.10 c #Conflicts: 185000 | #Constraints: 13754
680.14/682.10 c #Conflicts: 186000 | #Constraints: 14754
680.14/682.10 c #Conflicts: 187000 | #Constraints: 15754
680.14/682.10 c #Conflicts: 188000 | #Constraints: 16754
680.14/682.10 c #Conflicts: 189000 | #Constraints: 17754
680.14/682.10 c INPROCESSING
680.14/682.10 c GARBAGE COLLECT
680.14/682.10 c #Conflicts: 190000 | #Constraints: 10154
680.14/682.10 c #Conflicts: 191000 | #Constraints: 11154
680.14/682.10 c #Conflicts: 192000 | #Constraints: 12154
680.14/682.10 c #Conflicts: 193000 | #Constraints: 13154
680.14/682.10 c #Conflicts: 194000 | #Constraints: 14154
680.14/682.10 c #Conflicts: 195000 | #Constraints: 15154
680.14/682.10 c #Conflicts: 196000 | #Constraints: 16154
680.14/682.10 c #Conflicts: 197000 | #Constraints: 17154
680.14/682.10 c #Conflicts: 198000 | #Constraints: 18154
680.14/682.10 c INPROCESSING
680.14/682.10 c GARBAGE COLLECT
680.14/682.10 c #Conflicts: 199000 | #Constraints: 10352
680.14/682.10 c #Conflicts: 200000 | #Constraints: 11352
680.14/682.10 c #Conflicts: 201000 | #Constraints: 12352
680.14/682.10 c #Conflicts: 202000 | #Constraints: 13352
680.14/682.10 c #Conflicts: 203000 | #Constraints: 14352
680.14/682.10 c #Conflicts: 204000 | #Constraints: 15352
680.14/682.10 c #Conflicts: 205000 | #Constraints: 16352
680.14/682.10 c #Conflicts: 206000 | #Constraints: 17352
680.14/682.10 c #Conflicts: 207000 | #Constraints: 18352
680.14/682.10 c INPROCESSING
680.14/682.10 c GARBAGE COLLECT
680.14/682.10 c #Conflicts: 208000 | #Constraints: 10350
680.14/682.10 c #Conflicts: 209000 | #Constraints: 11350
680.14/682.10 c #Conflicts: 210000 | #Constraints: 12350
680.14/682.10 c #Conflicts: 211000 | #Constraints: 13350
680.14/682.10 c #Conflicts: 212000 | #Constraints: 14350
680.14/682.10 c #Conflicts: 213000 | #Constraints: 15350
680.14/682.10 c #Conflicts: 214000 | #Constraints: 16350
680.14/682.10 c #Conflicts: 215000 | #Constraints: 17350
680.14/682.10 c #Conflicts: 216000 | #Constraints: 18350
680.14/682.10 c INPROCESSING
680.14/682.10 c GARBAGE COLLECT
680.14/682.10 c #Conflicts: 217000 | #Constraints: 10152
680.14/682.10 c #Conflicts: 218000 | #Constraints: 11152
680.14/682.10 c #Conflicts: 219000 | #Constraints: 12152
680.14/682.10 c #Conflicts: 220000 | #Constraints: 13152
680.14/682.10 c #Conflicts: 221000 | #Constraints: 14152
680.14/682.10 c #Conflicts: 222000 | #Constraints: 15152
680.14/682.10 c #Conflicts: 223000 | #Constraints: 16152
680.14/682.10 c #Conflicts: 224000 | #Constraints: 17152
680.14/682.10 c #Conflicts: 225000 | #Constraints: 18152
680.14/682.10 c #Conflicts: 226000 | #Constraints: 19152
680.14/682.10 c INPROCESSING
680.14/682.10 c GARBAGE COLLECT
680.14/682.10 c #Conflicts: 227000 | #Constraints: 10758
680.14/682.10 c #Conflicts: 228000 | #Constraints: 11758
680.14/682.10 c #Conflicts: 229000 | #Constraints: 12758
680.14/682.10 c #Conflicts: 230000 | #Constraints: 13758
680.14/682.10 c #Conflicts: 231000 | #Constraints: 14758
680.14/682.10 c #Conflicts: 232000 | #Constraints: 15758
680.14/682.10 c #Conflicts: 233000 | #Constraints: 16758
680.14/682.10 c #Conflicts: 234000 | #Constraints: 17758
680.14/682.10 c #Conflicts: 235000 | #Constraints: 18758
680.14/682.10 c #Conflicts: 236000 | #Constraints: 19758
680.14/682.10 c INPROCESSING
680.14/682.10 c GARBAGE COLLECT
680.14/682.10 c #Conflicts: 237000 | #Constraints: 11155
680.14/682.10 c #Conflicts: 238000 | #Constraints: 12155
680.14/682.10 c #Conflicts: 239000 | #Constraints: 13155
680.14/682.10 c #Conflicts: 240000 | #Constraints: 14155
680.14/682.10 c #Conflicts: 241000 | #Constraints: 15155
680.14/682.10 c #Conflicts: 242000 | #Constraints: 16155
680.14/682.10 c #Conflicts: 243000 | #Constraints: 17155
680.14/682.10 c #Conflicts: 244000 | #Constraints: 18155
680.14/682.10 c #Conflicts: 245000 | #Constraints: 19155
680.14/682.10 c #Conflicts: 246000 | #Constraints: 20155
680.14/682.10 c INPROCESSING
680.14/682.10 c GARBAGE COLLECT
680.14/682.10 c #Conflicts: 247000 | #Constraints: 11354
680.14/682.10 c #Conflicts: 248000 | #Constraints: 12354
680.14/682.10 c #Conflicts: 249000 | #Constraints: 13354
680.14/682.10 c #Conflicts: 250000 | #Constraints: 14354
846.90/849.26 c #Conflicts: 251000 | #Constraints: 15354
846.90/849.26 c #Conflicts: 252000 | #Constraints: 16354
846.90/849.26 c #Conflicts: 253000 | #Constraints: 17354
846.90/849.26 c #Conflicts: 254000 | #Constraints: 18354
846.90/849.26 c #Conflicts: 255000 | #Constraints: 19354
846.90/849.26 c #Conflicts: 256000 | #Constraints: 20354
846.90/849.26 c INPROCESSING
846.90/849.26 c GARBAGE COLLECT
846.90/849.26 c #Conflicts: 257000 | #Constraints: 11351
846.90/849.26 c #Conflicts: 258000 | #Constraints: 12351
846.90/849.26 c #Conflicts: 259000 | #Constraints: 13351
846.90/849.26 c #Conflicts: 260000 | #Constraints: 14351
846.90/849.26 c #Conflicts: 261000 | #Constraints: 15351
846.90/849.26 c #Conflicts: 262000 | #Constraints: 16351
846.90/849.26 c #Conflicts: 263000 | #Constraints: 17351
846.90/849.26 c #Conflicts: 264000 | #Constraints: 18351
846.90/849.26 c #Conflicts: 265000 | #Constraints: 19351
846.90/849.26 c #Conflicts: 266000 | #Constraints: 20351
846.90/849.26 c INPROCESSING
846.90/849.26 c GARBAGE COLLECT
846.90/849.26 c #Conflicts: 267000 | #Constraints: 11153
846.90/849.26 c #Conflicts: 268000 | #Constraints: 12153
846.90/849.26 c #Conflicts: 269000 | #Constraints: 13153
846.90/849.26 c #Conflicts: 270000 | #Constraints: 14153
846.90/849.26 c #Conflicts: 271000 | #Constraints: 15153
846.90/849.26 c #Conflicts: 272000 | #Constraints: 16153
846.90/849.26 c #Conflicts: 273000 | #Constraints: 17153
846.90/849.26 c #Conflicts: 274000 | #Constraints: 18153
846.90/849.26 c #Conflicts: 275000 | #Constraints: 19153
846.90/849.26 c #Conflicts: 276000 | #Constraints: 20153
846.90/849.26 c #Conflicts: 277000 | #Constraints: 21153
846.90/849.26 c INPROCESSING
846.90/849.26 c GARBAGE COLLECT
846.90/849.26 c #Conflicts: 278000 | #Constraints: 11750
846.90/849.26 c #Conflicts: 279000 | #Constraints: 12750
846.90/849.26 c #Conflicts: 280000 | #Constraints: 13750
846.90/849.26 c #Conflicts: 281000 | #Constraints: 14750
846.90/849.26 c #Conflicts: 282000 | #Constraints: 15750
846.90/849.26 c #Conflicts: 283000 | #Constraints: 16750
846.90/849.26 c #Conflicts: 284000 | #Constraints: 17750
846.90/849.26 c #Conflicts: 285000 | #Constraints: 18750
846.90/849.26 c #Conflicts: 286000 | #Constraints: 19750
846.90/849.26 c #Conflicts: 287000 | #Constraints: 20750
846.90/849.26 c #Conflicts: 288000 | #Constraints: 21750
846.90/849.26 c INPROCESSING
846.90/849.26 c GARBAGE COLLECT
846.90/849.26 c #Conflicts: 289000 | #Constraints: 12151
846.90/849.26 c #Conflicts: 290000 | #Constraints: 13151
846.90/849.26 c #Conflicts: 291000 | #Constraints: 14151
846.90/849.26 c #Conflicts: 292000 | #Constraints: 15151
846.90/849.26 c #Conflicts: 293000 | #Constraints: 16151
846.90/849.26 c #Conflicts: 294000 | #Constraints: 17151
846.90/849.26 c #Conflicts: 295000 | #Constraints: 18151
846.90/849.26 c #Conflicts: 296000 | #Constraints: 19151
846.90/849.26 c #Conflicts: 297000 | #Constraints: 20151
846.90/849.26 c #Conflicts: 298000 | #Constraints: 21151
846.90/849.26 c #Conflicts: 299000 | #Constraints: 22151
846.90/849.26 c INPROCESSING
846.90/849.26 c GARBAGE COLLECT
846.90/849.26 c #Conflicts: 300000 | #Constraints: 12354
846.90/849.26 c #Conflicts: 301000 | #Constraints: 13354
846.90/849.26 c #Conflicts: 302000 | #Constraints: 14354
846.90/849.26 c #Conflicts: 303000 | #Constraints: 15354
846.90/849.26 c #Conflicts: 304000 | #Constraints: 16354
846.90/849.26 c #Conflicts: 305000 | #Constraints: 17354
846.90/849.26 c #Conflicts: 306000 | #Constraints: 18354
846.90/849.26 c #Conflicts: 307000 | #Constraints: 19354
846.90/849.26 c #Conflicts: 308000 | #Constraints: 20354
846.90/849.26 c #Conflicts: 309000 | #Constraints: 21354
846.90/849.26 c #Conflicts: 310000 | #Constraints: 22354
846.90/849.26 c INPROCESSING
846.90/849.26 c GARBAGE COLLECT
846.90/849.26 c #Conflicts: 311000 | #Constraints: 12354
846.90/849.26 c #Conflicts: 312000 | #Constraints: 13354
846.90/849.26 c #Conflicts: 313000 | #Constraints: 14354
846.90/849.26 c #Conflicts: 314000 | #Constraints: 15354
846.90/849.26 c #Conflicts: 315000 | #Constraints: 16354
846.90/849.26 c #Conflicts: 316000 | #Constraints: 17354
846.90/849.26 c #Conflicts: 317000 | #Constraints: 18354
846.90/849.26 c #Conflicts: 318000 | #Constraints: 19354
846.90/849.26 c #Conflicts: 319000 | #Constraints: 20354
846.90/849.26 c #Conflicts: 320000 | #Constraints: 21354
846.90/849.26 c #Conflicts: 321000 | #Constraints: 22354
846.90/849.26 c INPROCESSING
846.90/849.26 c GARBAGE COLLECT
846.90/849.26 c #Conflicts: 322000 | #Constraints: 12153
846.90/849.26 c #Conflicts: 323000 | #Constraints: 13153
846.90/849.26 c #Conflicts: 324000 | #Constraints: 14153
1052.07/1055.00 c #Conflicts: 325000 | #Constraints: 15153
1052.07/1055.00 c #Conflicts: 326000 | #Constraints: 16153
1052.07/1055.00 c #Conflicts: 327000 | #Constraints: 17153
1052.07/1055.00 c #Conflicts: 328000 | #Constraints: 18153
1052.07/1055.00 c #Conflicts: 329000 | #Constraints: 19153
1052.07/1055.00 c #Conflicts: 330000 | #Constraints: 20153
1052.07/1055.00 c #Conflicts: 331000 | #Constraints: 21153
1052.07/1055.00 c #Conflicts: 332000 | #Constraints: 22153
1052.07/1055.00 c #Conflicts: 333000 | #Constraints: 23153
1052.07/1055.00 c INPROCESSING
1052.07/1055.00 c GARBAGE COLLECT
1052.07/1055.00 c #Conflicts: 334000 | #Constraints: 12748
1052.07/1055.00 c #Conflicts: 335000 | #Constraints: 13748
1052.07/1055.00 c #Conflicts: 336000 | #Constraints: 14748
1052.07/1055.00 c #Conflicts: 337000 | #Constraints: 15748
1052.07/1055.00 c #Conflicts: 338000 | #Constraints: 16748
1052.07/1055.00 c #Conflicts: 339000 | #Constraints: 17748
1052.07/1055.00 c #Conflicts: 340000 | #Constraints: 18748
1052.07/1055.00 c #Conflicts: 341000 | #Constraints: 19748
1052.07/1055.00 c #Conflicts: 342000 | #Constraints: 20748
1052.07/1055.00 c #Conflicts: 343000 | #Constraints: 21748
1052.07/1055.00 c #Conflicts: 344000 | #Constraints: 22748
1052.07/1055.00 c #Conflicts: 345000 | #Constraints: 23748
1052.07/1055.00 c INPROCESSING
1052.07/1055.00 c GARBAGE COLLECT
1052.07/1055.00 c #Conflicts: 346000 | #Constraints: 13153
1052.07/1055.00 c #Conflicts: 347000 | #Constraints: 14153
1052.07/1055.00 c #Conflicts: 348000 | #Constraints: 15153
1052.07/1055.00 c #Conflicts: 349000 | #Constraints: 16153
1052.07/1055.00 c #Conflicts: 350000 | #Constraints: 17153
1052.07/1055.00 c #Conflicts: 351000 | #Constraints: 18153
1052.07/1055.00 c #Conflicts: 352000 | #Constraints: 19153
1052.07/1055.00 c #Conflicts: 353000 | #Constraints: 20153
1052.07/1055.00 c #Conflicts: 354000 | #Constraints: 21153
1052.07/1055.00 c #Conflicts: 355000 | #Constraints: 22153
1052.07/1055.00 c #Conflicts: 356000 | #Constraints: 23153
1052.07/1055.00 c #Conflicts: 357000 | #Constraints: 24153
1052.07/1055.00 c INPROCESSING
1052.07/1055.00 c GARBAGE COLLECT
1052.07/1055.00 c #Conflicts: 358000 | #Constraints: 13353
1052.07/1055.00 c #Conflicts: 359000 | #Constraints: 14353
1052.07/1055.00 c #Conflicts: 360000 | #Constraints: 15353
1052.07/1055.00 c #Conflicts: 361000 | #Constraints: 16353
1052.07/1055.00 c #Conflicts: 362000 | #Constraints: 17353
1052.07/1055.00 c #Conflicts: 363000 | #Constraints: 18353
1052.07/1055.00 c #Conflicts: 364000 | #Constraints: 19353
1052.07/1055.00 c #Conflicts: 365000 | #Constraints: 20353
1052.07/1055.00 c #Conflicts: 366000 | #Constraints: 21353
1052.07/1055.00 c #Conflicts: 367000 | #Constraints: 22353
1052.07/1055.00 c #Conflicts: 368000 | #Constraints: 23353
1052.07/1055.00 c #Conflicts: 369000 | #Constraints: 24353
1052.07/1055.00 c INPROCESSING
1052.07/1055.00 c GARBAGE COLLECT
1052.07/1055.00 c #Conflicts: 370000 | #Constraints: 13358
1052.07/1055.00 c #Conflicts: 371000 | #Constraints: 14358
1052.07/1055.00 c #Conflicts: 372000 | #Constraints: 15358
1052.07/1055.00 c #Conflicts: 373000 | #Constraints: 16358
1052.07/1055.00 c #Conflicts: 374000 | #Constraints: 17358
1052.07/1055.00 c #Conflicts: 375000 | #Constraints: 18358
1052.07/1055.00 c #Conflicts: 376000 | #Constraints: 19358
1052.07/1055.00 c #Conflicts: 377000 | #Constraints: 20358
1052.07/1055.00 c #Conflicts: 378000 | #Constraints: 21358
1052.07/1055.00 c #Conflicts: 379000 | #Constraints: 22358
1052.07/1055.00 c #Conflicts: 380000 | #Constraints: 23358
1052.07/1055.00 c #Conflicts: 381000 | #Constraints: 24358
1052.07/1055.00 c INPROCESSING
1052.07/1055.00 c GARBAGE COLLECT
1052.07/1055.00 c #Conflicts: 382000 | #Constraints: 13157
1052.07/1055.00 c #Conflicts: 383000 | #Constraints: 14157
1052.07/1055.00 c #Conflicts: 384000 | #Constraints: 15157
1052.07/1055.00 c #Conflicts: 385000 | #Constraints: 16157
1052.07/1055.00 c #Conflicts: 386000 | #Constraints: 17157
1052.07/1055.00 c #Conflicts: 387000 | #Constraints: 18157
1052.07/1055.00 c #Conflicts: 388000 | #Constraints: 19157
1052.07/1055.00 c #Conflicts: 389000 | #Constraints: 20157
1052.07/1055.00 c #Conflicts: 390000 | #Constraints: 21157
1052.07/1055.00 c #Conflicts: 391000 | #Constraints: 22157
1052.07/1055.00 c #Conflicts: 392000 | #Constraints: 23157
1052.07/1055.00 c #Conflicts: 393000 | #Constraints: 24157
1052.07/1055.00 c #Conflicts: 394000 | #Constraints: 25157
1052.07/1055.00 c INPROCESSING
1052.07/1055.00 c GARBAGE COLLECT
1052.07/1055.00 c #Conflicts: 395000 | #Constraints: 13756
1052.07/1055.00 c #Conflicts: 396000 | #Constraints: 14756
1052.07/1055.00 c #Conflicts: 397000 | #Constraints: 15756
1052.07/1055.00 c #Conflicts: 398000 | #Constraints: 16756
1052.07/1055.00 c #Conflicts: 399000 | #Constraints: 17756
1327.06/1330.78 c #Conflicts: 400000 | #Constraints: 18756
1327.06/1330.78 c #Conflicts: 401000 | #Constraints: 19756
1327.06/1330.78 c #Conflicts: 402000 | #Constraints: 20756
1327.06/1330.78 c #Conflicts: 403000 | #Constraints: 21756
1327.06/1330.78 c #Conflicts: 404000 | #Constraints: 22756
1327.06/1330.78 c #Conflicts: 405000 | #Constraints: 23756
1327.06/1330.78 c #Conflicts: 406000 | #Constraints: 24756
1327.06/1330.78 c #Conflicts: 407000 | #Constraints: 25756
1327.06/1330.78 c INPROCESSING
1327.06/1330.78 c GARBAGE COLLECT
1327.06/1330.78 c #Conflicts: 408000 | #Constraints: 14153
1327.06/1330.78 c #Conflicts: 409000 | #Constraints: 15153
1327.06/1330.78 c #Conflicts: 410000 | #Constraints: 16153
1327.06/1330.78 c #Conflicts: 411000 | #Constraints: 17153
1327.06/1330.78 c #Conflicts: 412000 | #Constraints: 18153
1327.06/1330.78 c #Conflicts: 413000 | #Constraints: 19153
1327.06/1330.78 c #Conflicts: 414000 | #Constraints: 20153
1327.06/1330.78 c #Conflicts: 415000 | #Constraints: 21153
1327.06/1330.78 c #Conflicts: 416000 | #Constraints: 22153
1327.06/1330.78 c #Conflicts: 417000 | #Constraints: 23153
1327.06/1330.78 c #Conflicts: 418000 | #Constraints: 24153
1327.06/1330.78 c #Conflicts: 419000 | #Constraints: 25153
1327.06/1330.78 c #Conflicts: 420000 | #Constraints: 26153
1327.06/1330.78 c INPROCESSING
1327.06/1330.78 c GARBAGE COLLECT
1327.06/1330.78 c #Conflicts: 421000 | #Constraints: 14352
1327.06/1330.78 c #Conflicts: 422000 | #Constraints: 15352
1327.06/1330.78 c #Conflicts: 423000 | #Constraints: 16352
1327.06/1330.78 c #Conflicts: 424000 | #Constraints: 17352
1327.06/1330.78 c #Conflicts: 425000 | #Constraints: 18352
1327.06/1330.78 c #Conflicts: 426000 | #Constraints: 19352
1327.06/1330.78 c #Conflicts: 427000 | #Constraints: 20352
1327.06/1330.78 c #Conflicts: 428000 | #Constraints: 21352
1327.06/1330.78 c #Conflicts: 429000 | #Constraints: 22352
1327.06/1330.78 c #Conflicts: 430000 | #Constraints: 23352
1327.06/1330.78 c #Conflicts: 431000 | #Constraints: 24352
1327.06/1330.78 c #Conflicts: 432000 | #Constraints: 25352
1327.06/1330.78 c #Conflicts: 433000 | #Constraints: 26352
1327.06/1330.78 c INPROCESSING
1327.06/1330.78 c GARBAGE COLLECT
1327.06/1330.78 c #Conflicts: 434000 | #Constraints: 14353
1327.06/1330.78 c #Conflicts: 435000 | #Constraints: 15353
1327.06/1330.78 c #Conflicts: 436000 | #Constraints: 16353
1327.06/1330.78 c #Conflicts: 437000 | #Constraints: 17353
1327.06/1330.78 c #Conflicts: 438000 | #Constraints: 18353
1327.06/1330.78 c #Conflicts: 439000 | #Constraints: 19353
1327.06/1330.78 c #Conflicts: 440000 | #Constraints: 20353
1327.06/1330.78 c #Conflicts: 441000 | #Constraints: 21353
1327.06/1330.78 c #Conflicts: 442000 | #Constraints: 22353
1327.06/1330.78 c #Conflicts: 443000 | #Constraints: 23353
1327.06/1330.78 c #Conflicts: 444000 | #Constraints: 24353
1327.06/1330.78 c #Conflicts: 445000 | #Constraints: 25353
1327.06/1330.78 c #Conflicts: 446000 | #Constraints: 26353
1327.06/1330.78 c INPROCESSING
1327.06/1330.78 c GARBAGE COLLECT
1327.06/1330.78 c #Conflicts: 447000 | #Constraints: 14159
1327.06/1330.78 c #Conflicts: 448000 | #Constraints: 15159
1327.06/1330.78 c #Conflicts: 449000 | #Constraints: 16159
1327.06/1330.78 c #Conflicts: 450000 | #Constraints: 17159
1327.06/1330.78 c #Conflicts: 451000 | #Constraints: 18159
1327.06/1330.78 c #Conflicts: 452000 | #Constraints: 19159
1327.06/1330.78 c #Conflicts: 453000 | #Constraints: 20159
1327.06/1330.78 c #Conflicts: 454000 | #Constraints: 21159
1327.06/1330.78 c #Conflicts: 455000 | #Constraints: 22159
1327.06/1330.78 c #Conflicts: 456000 | #Constraints: 23159
1327.06/1330.78 c #Conflicts: 457000 | #Constraints: 24159
1327.06/1330.78 c #Conflicts: 458000 | #Constraints: 25159
1327.06/1330.78 c #Conflicts: 459000 | #Constraints: 26159
1327.06/1330.78 c #Conflicts: 460000 | #Constraints: 27159
1327.06/1330.78 c INPROCESSING
1327.06/1330.78 c GARBAGE COLLECT
1327.06/1330.78 c #Conflicts: 461000 | #Constraints: 14756
1327.06/1330.78 c #Conflicts: 462000 | #Constraints: 15756
1327.06/1330.78 c #Conflicts: 463000 | #Constraints: 16756
1327.06/1330.78 c #Conflicts: 464000 | #Constraints: 17756
1327.06/1330.78 c #Conflicts: 465000 | #Constraints: 18756
1327.06/1330.78 c #Conflicts: 466000 | #Constraints: 19756
1327.06/1330.78 c #Conflicts: 467000 | #Constraints: 20756
1327.06/1330.78 c #Conflicts: 468000 | #Constraints: 21756
1327.06/1330.78 c #Conflicts: 469000 | #Constraints: 22756
1327.06/1330.78 c #Conflicts: 470000 | #Constraints: 23756
1327.06/1330.78 c #Conflicts: 471000 | #Constraints: 24756
1327.06/1330.78 c #Conflicts: 472000 | #Constraints: 25756
1327.06/1330.78 c #Conflicts: 473000 | #Constraints: 26756
1327.06/1330.78 c #Conflicts: 474000 | #Constraints: 27756
1327.06/1330.78 c INPROCESSING
1327.06/1330.78 c GARBAGE COLLECT
1597.26/1601.78 c #Conflicts: 475000 | #Constraints: 15155
1597.26/1601.78 c #Conflicts: 476000 | #Constraints: 16155
1597.26/1601.78 c #Conflicts: 477000 | #Constraints: 17155
1597.26/1601.78 c #Conflicts: 478000 | #Constraints: 18155
1597.26/1601.78 c #Conflicts: 479000 | #Constraints: 19155
1597.26/1601.78 c #Conflicts: 480000 | #Constraints: 20155
1597.26/1601.78 c #Conflicts: 481000 | #Constraints: 21155
1597.26/1601.78 c #Conflicts: 482000 | #Constraints: 22155
1597.26/1601.78 c #Conflicts: 483000 | #Constraints: 23155
1597.26/1601.78 c #Conflicts: 484000 | #Constraints: 24155
1597.26/1601.78 c #Conflicts: 485000 | #Constraints: 25155
1597.26/1601.78 c #Conflicts: 486000 | #Constraints: 26155
1597.26/1601.78 c #Conflicts: 487000 | #Constraints: 27155
1597.26/1601.78 c #Conflicts: 488000 | #Constraints: 28155
1597.26/1601.78 c INPROCESSING
1597.26/1601.78 c GARBAGE COLLECT
1597.26/1601.78 c #Conflicts: 489000 | #Constraints: 15360
1597.26/1601.78 c #Conflicts: 490000 | #Constraints: 16360
1597.26/1601.78 c #Conflicts: 491000 | #Constraints: 17360
1597.26/1601.78 c #Conflicts: 492000 | #Constraints: 18360
1597.26/1601.78 c #Conflicts: 493000 | #Constraints: 19360
1597.26/1601.78 c #Conflicts: 494000 | #Constraints: 20360
1597.26/1601.78 c #Conflicts: 495000 | #Constraints: 21360
1597.26/1601.78 c #Conflicts: 496000 | #Constraints: 22360
1597.26/1601.78 c #Conflicts: 497000 | #Constraints: 23360
1597.26/1601.78 c #Conflicts: 498000 | #Constraints: 24360
1597.26/1601.78 c #Conflicts: 499000 | #Constraints: 25360
1597.26/1601.78 c #Conflicts: 500000 | #Constraints: 26360
1597.26/1601.78 c #Conflicts: 501000 | #Constraints: 27360
1597.26/1601.78 c #Conflicts: 502000 | #Constraints: 28360
1597.26/1601.78 c INPROCESSING
1597.26/1601.78 c GARBAGE COLLECT
1597.26/1601.78 c #Conflicts: 503000 | #Constraints: 15364
1597.26/1601.78 c #Conflicts: 504000 | #Constraints: 16364
1597.26/1601.78 c #Conflicts: 505000 | #Constraints: 17364
1597.26/1601.78 c #Conflicts: 506000 | #Constraints: 18364
1597.26/1601.78 c #Conflicts: 507000 | #Constraints: 19364
1597.26/1601.78 c #Conflicts: 508000 | #Constraints: 20364
1597.26/1601.78 c #Conflicts: 509000 | #Constraints: 21364
1597.26/1601.78 c #Conflicts: 510000 | #Constraints: 22364
1597.26/1601.78 c #Conflicts: 511000 | #Constraints: 23364
1597.26/1601.78 c #Conflicts: 512000 | #Constraints: 24364
1597.26/1601.78 c #Conflicts: 513000 | #Constraints: 25364
1597.26/1601.78 c #Conflicts: 514000 | #Constraints: 26364
1597.26/1601.78 c #Conflicts: 515000 | #Constraints: 27364
1597.26/1601.78 c #Conflicts: 516000 | #Constraints: 28364
1597.26/1601.78 c INPROCESSING
1597.26/1601.78 c GARBAGE COLLECT
1597.26/1601.78 c #Conflicts: 517000 | #Constraints: 15159
1597.26/1601.78 c #Conflicts: 518000 | #Constraints: 16159
1597.26/1601.78 c #Conflicts: 519000 | #Constraints: 17159
1597.26/1601.78 c #Conflicts: 520000 | #Constraints: 18159
1597.26/1601.78 c #Conflicts: 521000 | #Constraints: 19159
1597.26/1601.78 c #Conflicts: 522000 | #Constraints: 20159
1597.26/1601.78 c #Conflicts: 523000 | #Constraints: 21159
1597.26/1601.78 c #Conflicts: 524000 | #Constraints: 22159
1597.26/1601.78 c #Conflicts: 525000 | #Constraints: 23159
1597.26/1601.78 c #Conflicts: 526000 | #Constraints: 24159
1597.26/1601.78 c #Conflicts: 527000 | #Constraints: 25159
1597.26/1601.78 c #Conflicts: 528000 | #Constraints: 26159
1597.26/1601.78 c #Conflicts: 529000 | #Constraints: 27159
1597.26/1601.78 c #Conflicts: 530000 | #Constraints: 28159
1597.26/1601.78 c #Conflicts: 531000 | #Constraints: 29159
1597.26/1601.78 c INPROCESSING
1597.26/1601.78 c GARBAGE COLLECT
1597.26/1601.78 c #Conflicts: 532000 | #Constraints: 15758
1597.26/1601.78 c #Conflicts: 533000 | #Constraints: 16758
1597.26/1601.78 c #Conflicts: 534000 | #Constraints: 17758
1597.26/1601.78 c #Conflicts: 535000 | #Constraints: 18758
1597.26/1601.78 c #Conflicts: 536000 | #Constraints: 19758
1597.26/1601.78 c #Conflicts: 537000 | #Constraints: 20758
1597.26/1601.78 c #Conflicts: 538000 | #Constraints: 21758
1597.26/1601.78 c #Conflicts: 539000 | #Constraints: 22758
1597.26/1601.78 c #Conflicts: 540000 | #Constraints: 23758
1597.26/1601.78 c #Conflicts: 541000 | #Constraints: 24758
1597.26/1601.78 c #Conflicts: 542000 | #Constraints: 25758
1597.26/1601.78 c #Conflicts: 543000 | #Constraints: 26758
1597.26/1601.78 c #Conflicts: 544000 | #Constraints: 27758
1597.26/1601.78 c #Conflicts: 545000 | #Constraints: 28758
1597.26/1601.78 c #Conflicts: 546000 | #Constraints: 29758
1597.26/1601.78 c INPROCESSING
1597.26/1601.78 c GARBAGE COLLECT
1597.26/1601.78 c #Conflicts: 547000 | #Constraints: 16157
1597.26/1601.78 c #Conflicts: 548000 | #Constraints: 17157
1597.26/1601.78 c #Conflicts: 549000 | #Constraints: 18157
1597.26/1601.78 c #Conflicts: 550000 | #Constraints: 19157
1874.42/1879.73 c #Conflicts: 551000 | #Constraints: 20157
1874.42/1879.73 c #Conflicts: 552000 | #Constraints: 21157
1874.42/1879.73 c #Conflicts: 553000 | #Constraints: 22157
1874.42/1879.73 c #Conflicts: 554000 | #Constraints: 23157
1874.42/1879.73 c #Conflicts: 555000 | #Constraints: 24157
1874.42/1879.73 c #Conflicts: 556000 | #Constraints: 25157
1874.42/1879.73 c #Conflicts: 557000 | #Constraints: 26157
1874.42/1879.73 c #Conflicts: 558000 | #Constraints: 27157
1874.42/1879.73 c #Conflicts: 559000 | #Constraints: 28157
1874.42/1879.73 c #Conflicts: 560000 | #Constraints: 29157
1874.42/1879.73 c #Conflicts: 561000 | #Constraints: 30157
1874.42/1879.73 c INPROCESSING
1874.42/1879.73 c GARBAGE COLLECT
1874.42/1879.73 c #Conflicts: 562000 | #Constraints: 16352
1874.42/1879.73 c #Conflicts: 563000 | #Constraints: 17352
1874.42/1879.73 c #Conflicts: 564000 | #Constraints: 18352
1874.42/1879.73 c #Conflicts: 565000 | #Constraints: 19352
1874.42/1879.73 c #Conflicts: 566000 | #Constraints: 20352
1874.42/1879.73 c #Conflicts: 567000 | #Constraints: 21352
1874.42/1879.73 c #Conflicts: 568000 | #Constraints: 22352
1874.42/1879.73 c #Conflicts: 569000 | #Constraints: 23352
1874.42/1879.73 c #Conflicts: 570000 | #Constraints: 24352
1874.42/1879.73 c #Conflicts: 571000 | #Constraints: 25352
1874.42/1879.73 c #Conflicts: 572000 | #Constraints: 26352
1874.42/1879.73 c #Conflicts: 573000 | #Constraints: 27352
1874.42/1879.73 c #Conflicts: 574000 | #Constraints: 28352
1874.42/1879.73 c #Conflicts: 575000 | #Constraints: 29352
1874.42/1879.73 c #Conflicts: 576000 | #Constraints: 30352
1874.42/1879.73 c INPROCESSING
1874.42/1879.73 c GARBAGE COLLECT
1874.42/1879.73 c #Conflicts: 577000 | #Constraints: 16349
1874.42/1879.73 c #Conflicts: 578000 | #Constraints: 17349
1874.42/1879.73 c #Conflicts: 579000 | #Constraints: 18349
1874.42/1879.73 c #Conflicts: 580000 | #Constraints: 19349
1874.42/1879.73 c #Conflicts: 581000 | #Constraints: 20349
1874.42/1879.73 c #Conflicts: 582000 | #Constraints: 21349
1874.42/1879.73 c #Conflicts: 583000 | #Constraints: 22349
1874.42/1879.73 c #Conflicts: 584000 | #Constraints: 23349
1874.42/1879.73 c #Conflicts: 585000 | #Constraints: 24349
1874.42/1879.73 c #Conflicts: 586000 | #Constraints: 25349
1874.42/1879.73 c #Conflicts: 587000 | #Constraints: 26349
1874.42/1879.73 c #Conflicts: 588000 | #Constraints: 27349
1874.42/1879.73 c #Conflicts: 589000 | #Constraints: 28349
1874.42/1879.73 c #Conflicts: 590000 | #Constraints: 29349
1874.42/1879.73 c #Conflicts: 591000 | #Constraints: 30349
1874.42/1879.73 c INPROCESSING
1874.42/1879.73 c GARBAGE COLLECT
1874.42/1879.73 c #Conflicts: 592000 | #Constraints: 16158
1874.42/1879.73 c #Conflicts: 593000 | #Constraints: 17158
1874.42/1879.73 c #Conflicts: 594000 | #Constraints: 18158
1874.42/1879.73 c #Conflicts: 595000 | #Constraints: 19158
1874.42/1879.73 c #Conflicts: 596000 | #Constraints: 20158
1874.42/1879.73 c #Conflicts: 597000 | #Constraints: 21158
1874.42/1879.73 c #Conflicts: 598000 | #Constraints: 22158
1874.42/1879.73 c #Conflicts: 599000 | #Constraints: 23158
1874.42/1879.73 c #Conflicts: 600000 | #Constraints: 24158
1874.42/1879.73 c #Conflicts: 601000 | #Constraints: 25158
1874.42/1879.73 c #Conflicts: 602000 | #Constraints: 26158
1874.42/1879.73 c #Conflicts: 603000 | #Constraints: 27158
1874.42/1879.73 c #Conflicts: 604000 | #Constraints: 28158
1874.42/1879.73 c #Conflicts: 605000 | #Constraints: 29158
1874.42/1879.73 c #Conflicts: 606000 | #Constraints: 30158
1874.42/1879.73 c #Conflicts: 607000 | #Constraints: 31158
1874.42/1879.73 c INPROCESSING
1874.42/1879.73 c GARBAGE COLLECT
1874.42/1879.73 c #Conflicts: 608000 | #Constraints: 16756
1874.42/1879.73 c #Conflicts: 609000 | #Constraints: 17756
1874.42/1879.73 c #Conflicts: 610000 | #Constraints: 18756
1874.42/1879.73 c #Conflicts: 611000 | #Constraints: 19756
1874.42/1879.73 c #Conflicts: 612000 | #Constraints: 20756
1874.42/1879.73 c #Conflicts: 613000 | #Constraints: 21756
1874.42/1879.73 c #Conflicts: 614000 | #Constraints: 22756
1874.42/1879.73 c #Conflicts: 615000 | #Constraints: 23756
1874.42/1879.73 c #Conflicts: 616000 | #Constraints: 24756
1874.42/1879.73 c #Conflicts: 617000 | #Constraints: 25756
1874.42/1879.73 c #Conflicts: 618000 | #Constraints: 26756
1874.42/1879.73 c #Conflicts: 619000 | #Constraints: 27756
1874.42/1879.73 c #Conflicts: 620000 | #Constraints: 28756
1874.42/1879.73 c #Conflicts: 621000 | #Constraints: 29756
1874.42/1879.73 c #Conflicts: 622000 | #Constraints: 30756
1874.42/1879.73 c #Conflicts: 623000 | #Constraints: 31756
1874.42/1879.73 c INPROCESSING
1874.42/1879.73 c GARBAGE COLLECT
1874.42/1879.73 c #Conflicts: 624000 | #Constraints: 17155
1874.42/1879.73 c #Conflicts: 625000 | #Constraints: 18155
1874.42/1879.73 c #Conflicts: 626000 | #Constraints: 19155
2167.83/2174.04 c #Conflicts: 627000 | #Constraints: 20155
2167.83/2174.04 c #Conflicts: 628000 | #Constraints: 21155
2167.83/2174.04 c #Conflicts: 629000 | #Constraints: 22155
2167.83/2174.04 c #Conflicts: 630000 | #Constraints: 23155
2167.83/2174.04 c #Conflicts: 631000 | #Constraints: 24155
2167.83/2174.04 c #Conflicts: 632000 | #Constraints: 25155
2167.83/2174.04 c #Conflicts: 633000 | #Constraints: 26155
2167.83/2174.04 c #Conflicts: 634000 | #Constraints: 27155
2167.83/2174.04 c #Conflicts: 635000 | #Constraints: 28155
2167.83/2174.04 c #Conflicts: 636000 | #Constraints: 29155
2167.83/2174.04 c #Conflicts: 637000 | #Constraints: 30155
2167.83/2174.04 c #Conflicts: 638000 | #Constraints: 31155
2167.83/2174.04 c #Conflicts: 639000 | #Constraints: 32155
2167.83/2174.04 c INPROCESSING
2167.83/2174.04 c GARBAGE COLLECT
2167.83/2174.04 c #Conflicts: 640000 | #Constraints: 17351
2167.83/2174.04 c #Conflicts: 641000 | #Constraints: 18351
2167.83/2174.04 c #Conflicts: 642000 | #Constraints: 19351
2167.83/2174.04 c #Conflicts: 643000 | #Constraints: 20351
2167.83/2174.04 c #Conflicts: 644000 | #Constraints: 21351
2167.83/2174.04 c #Conflicts: 645000 | #Constraints: 22351
2167.83/2174.04 c #Conflicts: 646000 | #Constraints: 23351
2167.83/2174.04 c #Conflicts: 647000 | #Constraints: 24351
2167.83/2174.04 c #Conflicts: 648000 | #Constraints: 25351
2167.83/2174.04 c #Conflicts: 649000 | #Constraints: 26351
2167.83/2174.04 c #Conflicts: 650000 | #Constraints: 27351
2167.83/2174.04 c #Conflicts: 651000 | #Constraints: 28351
2167.83/2174.04 c #Conflicts: 652000 | #Constraints: 29351
2167.83/2174.04 c #Conflicts: 653000 | #Constraints: 30351
2167.83/2174.04 c #Conflicts: 654000 | #Constraints: 31351
2167.83/2174.04 c #Conflicts: 655000 | #Constraints: 32351
2167.83/2174.04 c INPROCESSING
2167.83/2174.04 c GARBAGE COLLECT
2167.83/2174.04 c #Conflicts: 656000 | #Constraints: 17360
2167.83/2174.04 c #Conflicts: 657000 | #Constraints: 18360
2167.83/2174.04 c #Conflicts: 658000 | #Constraints: 19360
2167.83/2174.04 c #Conflicts: 659000 | #Constraints: 20360
2167.83/2174.04 c #Conflicts: 660000 | #Constraints: 21360
2167.83/2174.04 c #Conflicts: 661000 | #Constraints: 22360
2167.83/2174.04 c #Conflicts: 662000 | #Constraints: 23360
2167.83/2174.04 c #Conflicts: 663000 | #Constraints: 24360
2167.83/2174.04 c #Conflicts: 664000 | #Constraints: 25360
2167.83/2174.04 c #Conflicts: 665000 | #Constraints: 26360
2167.83/2174.04 c #Conflicts: 666000 | #Constraints: 27360
2167.83/2174.04 c #Conflicts: 667000 | #Constraints: 28360
2167.83/2174.04 c #Conflicts: 668000 | #Constraints: 29360
2167.83/2174.04 c #Conflicts: 669000 | #Constraints: 30360
2167.83/2174.04 c #Conflicts: 670000 | #Constraints: 31360
2167.83/2174.04 c #Conflicts: 671000 | #Constraints: 32360
2167.83/2174.04 c INPROCESSING
2167.83/2174.04 c GARBAGE COLLECT
2167.83/2174.04 c #Conflicts: 672000 | #Constraints: 17154
2167.83/2174.04 c #Conflicts: 673000 | #Constraints: 18154
2167.83/2174.04 c #Conflicts: 674000 | #Constraints: 19154
2167.83/2174.04 c #Conflicts: 675000 | #Constraints: 20154
2167.83/2174.04 c #Conflicts: 676000 | #Constraints: 21154
2167.83/2174.04 c #Conflicts: 677000 | #Constraints: 22154
2167.83/2174.04 c #Conflicts: 678000 | #Constraints: 23154
2167.83/2174.04 c #Conflicts: 679000 | #Constraints: 24154
2167.83/2174.04 c #Conflicts: 680000 | #Constraints: 25154
2167.83/2174.04 c #Conflicts: 681000 | #Constraints: 26154
2167.83/2174.04 c #Conflicts: 682000 | #Constraints: 27154
2167.83/2174.04 c #Conflicts: 683000 | #Constraints: 28154
2167.83/2174.04 c #Conflicts: 684000 | #Constraints: 29154
2167.83/2174.04 c #Conflicts: 685000 | #Constraints: 30154
2167.83/2174.04 c #Conflicts: 686000 | #Constraints: 31154
2167.83/2174.04 c #Conflicts: 687000 | #Constraints: 32154
2167.83/2174.04 c #Conflicts: 688000 | #Constraints: 33154
2167.83/2174.04 c INPROCESSING
2167.83/2174.04 c GARBAGE COLLECT
2167.83/2174.04 c #Conflicts: 689000 | #Constraints: 17752
2167.83/2174.04 c #Conflicts: 690000 | #Constraints: 18752
2167.83/2174.04 c #Conflicts: 691000 | #Constraints: 19752
2167.83/2174.04 c #Conflicts: 692000 | #Constraints: 20752
2167.83/2174.04 c #Conflicts: 693000 | #Constraints: 21752
2167.83/2174.04 c #Conflicts: 694000 | #Constraints: 22752
2167.83/2174.04 c #Conflicts: 695000 | #Constraints: 23752
2167.83/2174.04 c #Conflicts: 696000 | #Constraints: 24752
2167.83/2174.04 c #Conflicts: 697000 | #Constraints: 25752
2167.83/2174.04 c #Conflicts: 698000 | #Constraints: 26752
2167.83/2174.04 c #Conflicts: 699000 | #Constraints: 27752
2167.83/2174.04 c #Conflicts: 700000 | #Constraints: 28752
2167.83/2174.04 c #Conflicts: 701000 | #Constraints: 29752
2167.83/2174.04 c #Conflicts: 702000 | #Constraints: 30752
2504.70/2511.95 c #Conflicts: 703000 | #Constraints: 31752
2504.70/2511.95 c #Conflicts: 704000 | #Constraints: 32752
2504.70/2511.95 c #Conflicts: 705000 | #Constraints: 33752
2504.70/2511.95 c INPROCESSING
2504.70/2511.95 c GARBAGE COLLECT
2504.70/2511.95 c #Conflicts: 706000 | #Constraints: 18152
2504.70/2511.95 c #Conflicts: 707000 | #Constraints: 19152
2504.70/2511.95 c #Conflicts: 708000 | #Constraints: 20152
2504.70/2511.95 c #Conflicts: 709000 | #Constraints: 21152
2504.70/2511.95 c #Conflicts: 710000 | #Constraints: 22152
2504.70/2511.95 c #Conflicts: 711000 | #Constraints: 23152
2504.70/2511.95 c #Conflicts: 712000 | #Constraints: 24152
2504.70/2511.95 c #Conflicts: 713000 | #Constraints: 25152
2504.70/2511.95 c #Conflicts: 714000 | #Constraints: 26152
2504.70/2511.95 c #Conflicts: 715000 | #Constraints: 27152
2504.70/2511.95 c #Conflicts: 716000 | #Constraints: 28152
2504.70/2511.95 c #Conflicts: 717000 | #Constraints: 29152
2504.70/2511.95 c #Conflicts: 718000 | #Constraints: 30152
2504.70/2511.95 c #Conflicts: 719000 | #Constraints: 31152
2504.70/2511.95 c #Conflicts: 720000 | #Constraints: 32152
2504.70/2511.95 c #Conflicts: 721000 | #Constraints: 33152
2504.70/2511.95 c #Conflicts: 722000 | #Constraints: 34152
2504.70/2511.95 c INPROCESSING
2504.70/2511.95 c GARBAGE COLLECT
2504.70/2511.95 c #Conflicts: 723000 | #Constraints: 18349
2504.70/2511.95 c #Conflicts: 724000 | #Constraints: 19349
2504.70/2511.95 c #Conflicts: 725000 | #Constraints: 20349
2504.70/2511.95 c #Conflicts: 726000 | #Constraints: 21349
2504.70/2511.95 c #Conflicts: 727000 | #Constraints: 22349
2504.70/2511.95 c #Conflicts: 728000 | #Constraints: 23349
2504.70/2511.95 c #Conflicts: 729000 | #Constraints: 24349
2504.70/2511.95 c #Conflicts: 730000 | #Constraints: 25349
2504.70/2511.95 c #Conflicts: 731000 | #Constraints: 26349
2504.70/2511.95 c #Conflicts: 732000 | #Constraints: 27349
2504.70/2511.95 c #Conflicts: 733000 | #Constraints: 28349
2504.70/2511.95 c #Conflicts: 734000 | #Constraints: 29349
2504.70/2511.95 c #Conflicts: 735000 | #Constraints: 30349
2504.70/2511.95 c #Conflicts: 736000 | #Constraints: 31349
2504.70/2511.95 c #Conflicts: 737000 | #Constraints: 32349
2504.70/2511.95 c #Conflicts: 738000 | #Constraints: 33349
2504.70/2511.95 c #Conflicts: 739000 | #Constraints: 34349
2504.70/2511.95 c INPROCESSING
2504.70/2511.95 c GARBAGE COLLECT
2504.70/2511.95 c #Conflicts: 740000 | #Constraints: 18350
2504.70/2511.95 c #Conflicts: 741000 | #Constraints: 19350
2504.70/2511.95 c #Conflicts: 742000 | #Constraints: 20350
2504.70/2511.95 c #Conflicts: 743000 | #Constraints: 21350
2504.70/2511.95 c #Conflicts: 744000 | #Constraints: 22350
2504.70/2511.95 c #Conflicts: 745000 | #Constraints: 23350
2504.70/2511.95 c #Conflicts: 746000 | #Constraints: 24350
2504.70/2511.95 c #Conflicts: 747000 | #Constraints: 25350
2504.70/2511.95 c #Conflicts: 748000 | #Constraints: 26350
2504.70/2511.95 c #Conflicts: 749000 | #Constraints: 27350
2504.70/2511.95 c #Conflicts: 750000 | #Constraints: 28350
2504.70/2511.95 c #Conflicts: 751000 | #Constraints: 29350
2504.70/2511.95 c #Conflicts: 752000 | #Constraints: 30350
2504.70/2511.95 c #Conflicts: 753000 | #Constraints: 31350
2504.70/2511.95 c #Conflicts: 754000 | #Constraints: 32350
2504.70/2511.95 c #Conflicts: 755000 | #Constraints: 33350
2504.70/2511.95 c #Conflicts: 756000 | #Constraints: 34350
2504.70/2511.95 c INPROCESSING
2504.70/2511.95 c GARBAGE COLLECT
2504.70/2511.95 c #Conflicts: 757000 | #Constraints: 18150
2504.70/2511.95 c #Conflicts: 758000 | #Constraints: 19150
2504.70/2511.95 c #Conflicts: 759000 | #Constraints: 20150
2504.70/2511.95 c #Conflicts: 760000 | #Constraints: 21150
2504.70/2511.95 c #Conflicts: 761000 | #Constraints: 22150
2504.70/2511.95 c #Conflicts: 762000 | #Constraints: 23150
2504.70/2511.95 c #Conflicts: 763000 | #Constraints: 24150
2504.70/2511.95 c #Conflicts: 764000 | #Constraints: 25150
2504.70/2511.95 c #Conflicts: 765000 | #Constraints: 26150
2504.70/2511.95 c #Conflicts: 766000 | #Constraints: 27150
2504.70/2511.95 c #Conflicts: 767000 | #Constraints: 28150
2504.70/2511.95 c #Conflicts: 768000 | #Constraints: 29150
2504.70/2511.95 c #Conflicts: 769000 | #Constraints: 30150
2504.70/2511.95 c #Conflicts: 770000 | #Constraints: 31150
2504.70/2511.95 c #Conflicts: 771000 | #Constraints: 32150
2504.70/2511.95 c #Conflicts: 772000 | #Constraints: 33150
2504.70/2511.95 c #Conflicts: 773000 | #Constraints: 34150
2504.70/2511.95 c #Conflicts: 774000 | #Constraints: 35150
2504.70/2511.95 c INPROCESSING
2504.70/2511.95 c GARBAGE COLLECT
2504.70/2511.95 c #Conflicts: 775000 | #Constraints: 18746
2504.70/2511.95 c #Conflicts: 776000 | #Constraints: 19746
2504.70/2511.95 c #Conflicts: 777000 | #Constraints: 20746
2862.58/2870.96 c #Conflicts: 778000 | #Constraints: 21746
2862.58/2870.96 c #Conflicts: 779000 | #Constraints: 22746
2862.58/2870.96 c #Conflicts: 780000 | #Constraints: 23746
2862.58/2870.96 c #Conflicts: 781000 | #Constraints: 24746
2862.58/2870.96 c #Conflicts: 782000 | #Constraints: 25746
2862.58/2870.96 c #Conflicts: 783000 | #Constraints: 26746
2862.58/2870.96 c #Conflicts: 784000 | #Constraints: 27746
2862.58/2870.96 c #Conflicts: 785000 | #Constraints: 28746
2862.58/2870.96 c #Conflicts: 786000 | #Constraints: 29746
2862.58/2870.96 c #Conflicts: 787000 | #Constraints: 30746
2862.58/2870.96 c #Conflicts: 788000 | #Constraints: 31746
2862.58/2870.96 c #Conflicts: 789000 | #Constraints: 32746
2862.58/2870.96 c #Conflicts: 790000 | #Constraints: 33746
2862.58/2870.96 c #Conflicts: 791000 | #Constraints: 34746
2862.58/2870.96 c #Conflicts: 792000 | #Constraints: 35746
2862.58/2870.96 c INPROCESSING
2862.58/2870.96 c GARBAGE COLLECT
2862.58/2870.96 c #Conflicts: 793000 | #Constraints: 19149
2862.58/2870.96 c #Conflicts: 794000 | #Constraints: 20149
2862.58/2870.96 c #Conflicts: 795000 | #Constraints: 21149
2862.58/2870.96 c #Conflicts: 796000 | #Constraints: 22149
2862.58/2870.96 c #Conflicts: 797000 | #Constraints: 23149
2862.58/2870.96 c #Conflicts: 798000 | #Constraints: 24149
2862.58/2870.96 c #Conflicts: 799000 | #Constraints: 25149
2862.58/2870.96 c #Conflicts: 800000 | #Constraints: 26149
2862.58/2870.96 c #Conflicts: 801000 | #Constraints: 27149
2862.58/2870.96 c #Conflicts: 802000 | #Constraints: 28149
2862.58/2870.96 c #Conflicts: 803000 | #Constraints: 29149
2862.58/2870.96 c #Conflicts: 804000 | #Constraints: 30149
2862.58/2870.96 c #Conflicts: 805000 | #Constraints: 31149
2862.58/2870.96 c #Conflicts: 806000 | #Constraints: 32149
2862.58/2870.96 c #Conflicts: 807000 | #Constraints: 33149
2862.58/2870.96 c #Conflicts: 808000 | #Constraints: 34149
2862.58/2870.96 c #Conflicts: 809000 | #Constraints: 35149
2862.58/2870.96 c #Conflicts: 810000 | #Constraints: 36149
2862.58/2870.96 c INPROCESSING
2862.58/2870.96 c GARBAGE COLLECT
2862.58/2870.96 c #Conflicts: 811000 | #Constraints: 19349
2862.58/2870.96 c #Conflicts: 812000 | #Constraints: 20349
2862.58/2870.96 c #Conflicts: 813000 | #Constraints: 21349
2862.58/2870.96 c #Conflicts: 814000 | #Constraints: 22349
2862.58/2870.96 c #Conflicts: 815000 | #Constraints: 23349
2862.58/2870.96 c #Conflicts: 816000 | #Constraints: 24349
2862.58/2870.96 c #Conflicts: 817000 | #Constraints: 25349
2862.58/2870.96 c #Conflicts: 818000 | #Constraints: 26349
2862.58/2870.96 c #Conflicts: 819000 | #Constraints: 27349
2862.58/2870.96 c #Conflicts: 820000 | #Constraints: 28349
2862.58/2870.96 c #Conflicts: 821000 | #Constraints: 29349
2862.58/2870.96 c #Conflicts: 822000 | #Constraints: 30349
2862.58/2870.96 c #Conflicts: 823000 | #Constraints: 31349
2862.58/2870.96 c #Conflicts: 824000 | #Constraints: 32349
2862.58/2870.96 c #Conflicts: 825000 | #Constraints: 33349
2862.58/2870.96 c #Conflicts: 826000 | #Constraints: 34349
2862.58/2870.96 c #Conflicts: 827000 | #Constraints: 35349
2862.58/2870.96 c #Conflicts: 828000 | #Constraints: 36349
2862.58/2870.96 c INPROCESSING
2862.58/2870.96 c GARBAGE COLLECT
2862.58/2870.96 c #Conflicts: 829000 | #Constraints: 19345
2862.58/2870.96 c #Conflicts: 830000 | #Constraints: 20345
2862.58/2870.96 c #Conflicts: 831000 | #Constraints: 21345
2862.58/2870.96 c #Conflicts: 832000 | #Constraints: 22345
2862.58/2870.96 c #Conflicts: 833000 | #Constraints: 23345
2862.58/2870.96 c #Conflicts: 834000 | #Constraints: 24345
2862.58/2870.96 c #Conflicts: 835000 | #Constraints: 25345
2862.58/2870.96 c #Conflicts: 836000 | #Constraints: 26345
2862.58/2870.96 c #Conflicts: 837000 | #Constraints: 27345
2862.58/2870.96 c #Conflicts: 838000 | #Constraints: 28345
2862.58/2870.96 c #Conflicts: 839000 | #Constraints: 29345
2862.58/2870.96 c #Conflicts: 840000 | #Constraints: 30345
2862.58/2870.96 c #Conflicts: 841000 | #Constraints: 31345
2862.58/2870.96 c #Conflicts: 842000 | #Constraints: 32345
2862.58/2870.96 c #Conflicts: 843000 | #Constraints: 33345
2862.58/2870.96 c #Conflicts: 844000 | #Constraints: 34345
2862.58/2870.96 c #Conflicts: 845000 | #Constraints: 35345
2862.58/2870.96 c #Conflicts: 846000 | #Constraints: 36345
2862.58/2870.96 c INPROCESSING
2862.58/2870.96 c GARBAGE COLLECT
2862.58/2870.96 c #Conflicts: 847000 | #Constraints: 19146
2862.58/2870.96 c #Conflicts: 848000 | #Constraints: 20146
2862.58/2870.96 c #Conflicts: 849000 | #Constraints: 21146
2862.58/2870.96 c #Conflicts: 850000 | #Constraints: 22146
2862.58/2870.96 c #Conflicts: 851000 | #Constraints: 23146
2862.58/2870.96 c #Conflicts: 852000 | #Constraints: 24146
2862.58/2870.96 c #Conflicts: 853000 | #Constraints: 25146
2862.58/2870.96 c #Conflicts: 854000 | #Constraints: 26146
3237.67/3247.24 c #Conflicts: 855000 | #Constraints: 27146
3237.67/3247.24 c #Conflicts: 856000 | #Constraints: 28146
3237.67/3247.24 c #Conflicts: 857000 | #Constraints: 29146
3237.67/3247.24 c #Conflicts: 858000 | #Constraints: 30146
3237.67/3247.24 c #Conflicts: 859000 | #Constraints: 31146
3237.67/3247.24 c #Conflicts: 860000 | #Constraints: 32146
3237.67/3247.24 c #Conflicts: 861000 | #Constraints: 33146
3237.67/3247.24 c #Conflicts: 862000 | #Constraints: 34146
3237.67/3247.24 c #Conflicts: 863000 | #Constraints: 35146
3237.67/3247.24 c #Conflicts: 864000 | #Constraints: 36146
3237.67/3247.24 c #Conflicts: 865000 | #Constraints: 37146
3237.67/3247.24 c INPROCESSING
3237.67/3247.24 c GARBAGE COLLECT
3237.67/3247.24 c #Conflicts: 866000 | #Constraints: 19750
3237.67/3247.24 c #Conflicts: 867000 | #Constraints: 20750
3237.67/3247.24 c #Conflicts: 868000 | #Constraints: 21750
3237.67/3247.24 c #Conflicts: 869000 | #Constraints: 22750
3237.67/3247.24 c #Conflicts: 870000 | #Constraints: 23750
3237.67/3247.24 c #Conflicts: 871000 | #Constraints: 24750
3237.67/3247.24 c #Conflicts: 872000 | #Constraints: 25750
3237.67/3247.24 c #Conflicts: 873000 | #Constraints: 26750
3237.67/3247.24 c #Conflicts: 874000 | #Constraints: 27750
3237.67/3247.24 c #Conflicts: 875000 | #Constraints: 28750
3237.67/3247.24 c #Conflicts: 876000 | #Constraints: 29750
3237.67/3247.24 c #Conflicts: 877000 | #Constraints: 30750
3237.67/3247.24 c #Conflicts: 878000 | #Constraints: 31750
3237.67/3247.24 c #Conflicts: 879000 | #Constraints: 32750
3237.67/3247.24 c #Conflicts: 880000 | #Constraints: 33750
3237.67/3247.24 c #Conflicts: 881000 | #Constraints: 34750
3237.67/3247.24 c #Conflicts: 882000 | #Constraints: 35750
3237.67/3247.24 c #Conflicts: 883000 | #Constraints: 36750
3237.67/3247.24 c #Conflicts: 884000 | #Constraints: 37750
3237.67/3247.24 c INPROCESSING
3237.67/3247.24 c GARBAGE COLLECT
3237.67/3247.24 c #Conflicts: 885000 | #Constraints: 20149
3237.67/3247.24 c #Conflicts: 886000 | #Constraints: 21149
3237.67/3247.24 c #Conflicts: 887000 | #Constraints: 22149
3237.67/3247.24 c #Conflicts: 888000 | #Constraints: 23149
3237.67/3247.24 c #Conflicts: 889000 | #Constraints: 24149
3237.67/3247.24 c #Conflicts: 890000 | #Constraints: 25149
3237.67/3247.24 c #Conflicts: 891000 | #Constraints: 26149
3237.67/3247.24 c #Conflicts: 892000 | #Constraints: 27149
3237.67/3247.24 c #Conflicts: 893000 | #Constraints: 28149
3237.67/3247.24 c #Conflicts: 894000 | #Constraints: 29149
3237.67/3247.24 c #Conflicts: 895000 | #Constraints: 30149
3237.67/3247.24 c #Conflicts: 896000 | #Constraints: 31149
3237.67/3247.24 c #Conflicts: 897000 | #Constraints: 32149
3237.67/3247.24 c #Conflicts: 898000 | #Constraints: 33149
3237.67/3247.24 c #Conflicts: 899000 | #Constraints: 34149
3237.67/3247.24 c #Conflicts: 900000 | #Constraints: 35149
3237.67/3247.24 c #Conflicts: 901000 | #Constraints: 36149
3237.67/3247.24 c #Conflicts: 902000 | #Constraints: 37149
3237.67/3247.24 c #Conflicts: 903000 | #Constraints: 38149
3237.67/3247.24 c INPROCESSING
3237.67/3247.24 c GARBAGE COLLECT
3237.67/3247.24 c #Conflicts: 904000 | #Constraints: 20350
3237.67/3247.24 c #Conflicts: 905000 | #Constraints: 21350
3237.67/3247.24 c #Conflicts: 906000 | #Constraints: 22350
3237.67/3247.24 c #Conflicts: 907000 | #Constraints: 23350
3237.67/3247.24 c #Conflicts: 908000 | #Constraints: 24350
3237.67/3247.24 c #Conflicts: 909000 | #Constraints: 25350
3237.67/3247.24 c #Conflicts: 910000 | #Constraints: 26350
3237.67/3247.24 c #Conflicts: 911000 | #Constraints: 27350
3237.67/3247.24 c #Conflicts: 912000 | #Constraints: 28350
3237.67/3247.24 c #Conflicts: 913000 | #Constraints: 29350
3237.67/3247.24 c #Conflicts: 914000 | #Constraints: 30350
3237.67/3247.24 c #Conflicts: 915000 | #Constraints: 31350
3237.67/3247.24 c #Conflicts: 916000 | #Constraints: 32350
3237.67/3247.24 c #Conflicts: 917000 | #Constraints: 33350
3237.67/3247.24 c #Conflicts: 918000 | #Constraints: 34350
3237.67/3247.24 c #Conflicts: 919000 | #Constraints: 35350
3237.67/3247.24 c #Conflicts: 920000 | #Constraints: 36350
3237.67/3247.24 c #Conflicts: 921000 | #Constraints: 37350
3237.67/3247.24 c #Conflicts: 922000 | #Constraints: 38350
3237.67/3247.24 c INPROCESSING
3237.67/3247.24 c GARBAGE COLLECT
3237.67/3247.24 c #Conflicts: 923000 | #Constraints: 20353
3237.67/3247.24 c #Conflicts: 924000 | #Constraints: 21353
3237.67/3247.24 c #Conflicts: 925000 | #Constraints: 22353
3237.67/3247.24 c #Conflicts: 926000 | #Constraints: 23353
3237.67/3247.24 c #Conflicts: 927000 | #Constraints: 24353
3237.67/3247.24 c #Conflicts: 928000 | #Constraints: 25353
3237.67/3247.24 c #Conflicts: 929000 | #Constraints: 26353
3237.67/3247.24 c #Conflicts: 930000 | #Constraints: 27353
3600.06/3610.80 c #Conflicts: 931000 | #Constraints: 28353
3600.06/3610.80 c #Conflicts: 932000 | #Constraints: 29353
3600.06/3610.80 c #Conflicts: 933000 | #Constraints: 30353
3600.06/3610.80 c #Conflicts: 934000 | #Constraints: 31353
3600.06/3610.80 c #Conflicts: 935000 | #Constraints: 32353
3600.06/3610.80 c #Conflicts: 936000 | #Constraints: 33353
3600.06/3610.80 c #Conflicts: 937000 | #Constraints: 34353
3600.06/3610.80 c #Conflicts: 938000 | #Constraints: 35353
3600.06/3610.80 c #Conflicts: 939000 | #Constraints: 36353
3600.06/3610.80 c #Conflicts: 940000 | #Constraints: 37353
3600.06/3610.80 c #Conflicts: 941000 | #Constraints: 38353
3600.06/3610.80 c INPROCESSING
3600.06/3610.80 c GARBAGE COLLECT
3600.06/3610.80 c #Conflicts: 942000 | #Constraints: 20158
3600.06/3610.80 c #Conflicts: 943000 | #Constraints: 21158
3600.06/3610.80 c #Conflicts: 944000 | #Constraints: 22158
3600.06/3610.80 c #Conflicts: 945000 | #Constraints: 23158
3600.06/3610.80 c #Conflicts: 946000 | #Constraints: 24158
3600.06/3610.80 c #Conflicts: 947000 | #Constraints: 25158
3600.06/3610.80 c #Conflicts: 948000 | #Constraints: 26158
3600.06/3610.80 c #Conflicts: 949000 | #Constraints: 27158
3600.06/3610.80 c #Conflicts: 950000 | #Constraints: 28158
3600.06/3610.80 c #Conflicts: 951000 | #Constraints: 29158
3600.06/3610.80 c #Conflicts: 952000 | #Constraints: 30158
3600.06/3610.80 c #Conflicts: 953000 | #Constraints: 31158
3600.06/3610.80 c #Conflicts: 954000 | #Constraints: 32158
3600.06/3610.80 c #Conflicts: 955000 | #Constraints: 33158
3600.06/3610.80 c #Conflicts: 956000 | #Constraints: 34158
3600.06/3610.80 c #Conflicts: 957000 | #Constraints: 35158
3600.06/3610.80 c #Conflicts: 958000 | #Constraints: 36158
3600.06/3610.80 c #Conflicts: 959000 | #Constraints: 37158
3600.06/3610.80 c #Conflicts: 960000 | #Constraints: 38158
3600.06/3610.80 c #Conflicts: 961000 | #Constraints: 39158
3600.06/3610.80 c INPROCESSING
3600.06/3610.80 c GARBAGE COLLECT
3600.06/3610.80 c #Conflicts: 962000 | #Constraints: 20762
3600.06/3610.80 c #Conflicts: 963000 | #Constraints: 21762
3600.06/3610.80 c #Conflicts: 964000 | #Constraints: 22762
3600.06/3610.80 c #Conflicts: 965000 | #Constraints: 23762
3600.06/3610.80 c #Conflicts: 966000 | #Constraints: 24762
3600.06/3610.80 c #Conflicts: 967000 | #Constraints: 25762
3600.06/3610.80 c #Conflicts: 968000 | #Constraints: 26762
3600.06/3610.80 c #Conflicts: 969000 | #Constraints: 27762
3600.06/3610.80 c #Conflicts: 970000 | #Constraints: 28762
3600.06/3610.80 c #Conflicts: 971000 | #Constraints: 29762
3600.06/3610.80 c #Conflicts: 972000 | #Constraints: 30762
3600.06/3610.80 c #Conflicts: 973000 | #Constraints: 31762
3600.06/3610.80 c #Conflicts: 974000 | #Constraints: 32762
3600.06/3610.80 c #Conflicts: 975000 | #Constraints: 33762
3600.06/3610.80 c #Conflicts: 976000 | #Constraints: 34762
3600.06/3610.80 c #Conflicts: 977000 | #Constraints: 35762
3600.06/3610.80 c #Conflicts: 978000 | #Constraints: 36762
3600.06/3610.80 c #Conflicts: 979000 | #Constraints: 37762
3600.06/3610.80 c #Conflicts: 980000 | #Constraints: 38762
3600.06/3610.80 c #Conflicts: 981000 | #Constraints: 39762
3600.06/3610.80 c INPROCESSING
3600.06/3610.80 c GARBAGE COLLECT
3600.06/3610.80 c #Conflicts: 982000 | #Constraints: 21156
3600.06/3610.80 c #Conflicts: 983000 | #Constraints: 22156
3600.06/3610.80 c #Conflicts: 984000 | #Constraints: 23156
3600.06/3610.80 c #Conflicts: 985000 | #Constraints: 24156
3600.06/3610.80 c #Conflicts: 986000 | #Constraints: 25156
3600.06/3610.80 c #Conflicts: 987000 | #Constraints: 26156
3600.06/3610.80 c #Conflicts: 988000 | #Constraints: 27156
3600.06/3610.80 c #Conflicts: 989000 | #Constraints: 28156
3600.06/3610.80 c #Conflicts: 990000 | #Constraints: 29156
3600.06/3610.80 c Program interrupted by user.
3600.06/3610.80 c cpu time 3591.36 s
3600.06/3610.80 c deterministic time 398099935756 3.98e+11
3600.06/3610.80 c optimization time 43.4115 s
3600.06/3610.80 c total solve time 3248.8 s
3600.06/3610.80 c core-guided solve time 3248.8 s
3600.06/3610.80 c propagation time 2801.13 s
3600.06/3610.80 c conflict analysis time 426.373 s
3600.06/3610.80 c propagations 55616765
3600.06/3610.80 c resolve steps 5568495
3600.06/3610.80 c decisions 4600151
3600.06/3610.80 c conflicts 990121
3600.06/3610.80 c restarts 2045
3600.06/3610.80 c inprocessing phases 90
3600.06/3610.80 c input clauses 51
3600.06/3610.80 c input cardinalities 76
3600.06/3610.80 c input general constraints 474
3600.06/3610.80 c input average constraint length 67.54
3600.06/3610.80 c input average constraint degree 34.11
3600.06/3610.80 c learned clauses 237254
3600.06/3610.80 c learned cardinalities 476
3600.06/3610.80 c learned general constraints 752400
3600.06/3610.80 c learned average constraint length 301.14
3600.06/3610.80 c learned average constraint degree 531008.73
3600.06/3610.80 c watched constraints 635185
3600.06/3610.80 c counting constraints 117689
3600.06/3610.80 c gcd simplifications 185711
3600.06/3610.80 c detected cardinalities 399
3600.06/3610.80 c weakened non-implied lits 30412180
3600.06/3610.80 c weakened non-implying lits 100933
3600.06/3610.80 c original variables 476
3600.06/3610.80 c clausal propagations 1325790
3600.06/3610.80 c cardinality propagations 69030
3600.06/3610.80 c watched propagations 28953688
3600.06/3610.80 c counting propagations 24409578
3600.06/3610.80 c watch lookups 65042101168
3600.06/3610.80 c watch backjump lookups 61564573213
3600.06/3610.80 c watch checks 261497588741
3600.06/3610.80 c propagation checks 8851798749
3600.06/3610.80 c constraint additions 1022450368
3600.06/3610.80 c trail pops 61206600
3600.06/3610.80 c formula constraints 476
3600.06/3610.80 c learned constraints 990130
3600.06/3610.80 c bound constraints 76
3600.06/3610.80 c core-guided constraints 49
3600.06/3610.80 c encountered formula constraints 3328448
3600.06/3610.80 c encountered learned constraints 3111237
3600.06/3610.80 c encountered bound constraints 102
3600.06/3610.80 c encountered core-guided constraints 118829
3600.06/3610.80 c LP total time 0 s
3600.06/3610.80 c LP solve time 0 s
3600.06/3610.80 c LP constraints added 0
3600.06/3610.80 c LP constraints removed 0
3600.06/3610.80 c LP pivots internal 0
3600.06/3610.80 c LP pivots root 0
3600.06/3610.80 c LP calls 0
3600.06/3610.80 c LP optimalities 0
3600.06/3610.80 c LP no pivot count 0
3600.06/3610.80 c LP infeasibilities 0
3600.06/3610.80 c LP valid Farkas constraints 0
3600.06/3610.80 c LP learned Farkas constraints 0
3600.06/3610.80 c LP basis resets 0
3600.06/3610.80 c LP cycling count 0
3600.06/3610.80 c LP singular count 0
3600.06/3610.80 c LP no primal count 0
3600.06/3610.80 c LP no farkas count 0
3600.06/3610.80 c LP other issue count 0
3600.06/3610.80 c LP Gomory cuts 0
3600.06/3610.80 c LP learned cuts 0
3600.06/3610.80 c LP deleted cuts 0
3600.06/3610.80 c LP encountered Gomory constraints 0
3600.06/3610.80 c LP encountered Farkas constraints 0
3600.06/3610.80 c LP encountered learned Farkas constraints 0
3600.06/3610.80 c CG auxiliary variables introduced 49
3600.06/3610.80 c CG solutions found 0
3600.06/3610.80 c CG cores constructed 75
3600.06/3610.80 c CG core cardinality constraints returned 0
3600.06/3610.80 c CG unit cores 0
3600.06/3610.80 c CG single cores 75
3600.06/3610.80 c CG blocks removed during cardinality reduction 0
3600.06/3610.80 c CG first core best 0
3600.06/3610.80 c CG decision core best 0
3600.06/3610.80 c CG core reduction tie 0
3600.06/3610.80 c CG core degree average 1.00
3600.06/3610.80 c CG core slack average 2.84
3600.06/3610.80 c CG exhausted 0
3600.06/3610.80 c CG exhaust time 0 s
3600.06/3610.80 c CG trimmed 2
3600.06/3610.80 c CG trim time 0.000322 s
3600.06/3610.80 c CG minimized 0
3600.06/3610.80 c CG minimize time 0 s
3600.06/3610.80 c CG am1 prop time 0.00054 s
3600.06/3610.80 c CG # am1s reformulated 49
3600.06/3610.80 c CG lower bound derived from am1s 49
3600.06/3610.80 c CG # clausal cores 7
3600.06/3610.80 c CG # cardinality cores 0
3600.06/3610.80 c CG # pb cores 68
3600.06/3610.80 c CG # pb reforms 0
3600.06/3610.80 c CG # cores discarded because of pb reform 0
3600.06/3610.80 d LOWERBOUND 124
3600.06/3610.80 d NCORES 75
3600.06/3610.80 d NPBCORES 68
3600.06/3610.80 d NPBREFORM 0
3600.06/3610.80 d NTRIMMED 2
3600.06/3610.80 d NEXHAUSTED 0
3600.06/3610.80 d NAM1S 49
3600.06/3610.80 d AM1LB 49
3600.06/3610.80 c [Papilo Statistics]
3600.06/3610.80 c prepro time 0.00145469s
3600.06/3610.80 c # tsx applied 16
3600.06/3610.80 c # tsx conflicts 0
3600.06/3610.80 c # bound changes 0
3600.06/3610.80 c # side changes 0
3600.06/3610.80 c # coef changes 39
3600.06/3610.80 c # rounds 3
3600.06/3610.80 c # deted vars 0
3600.06/3610.80 c # deted constrs 0
3600.06/3610.80 c # consecutive rounds of only bound changes 0
3600.06/3610.80 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62420 MiB free)
memory of node 1: 64473 MiB (63230 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435451-1721094829/watcher-4435451-1721094829 -o /tmp/evaluation-result-4435451-1721094829/solver-4435451-1721094829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833381 --watchdog 3760 mixed-bag HOME/instance-4435451-1721094829.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=835449, runsolver pid=835446
[startup+0.100299 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 835450
/proc/meminfo: memFree=128641904/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=93252 memory=26248 CPUtime=0.09 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 3061 0 0 0 9 0 0 0 20 0 1 0 161653764 95490048 6562 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 23313 6562 3995 3002 0 7064 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93252 KiB
Current children cumulated memory: 26248 KiB
[startup+0.206299 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 835450
/proc/meminfo: memFree=128617888/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=93252 memory=26248 CPUtime=0.19 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 3072 0 0 0 19 0 0 0 20 0 1 0 161653764 95490048 6562 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 23313 6562 3995 3002 0 7064 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93252 KiB
Current children cumulated memory: 26248 KiB
[startup+0.305402 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 835450
/proc/meminfo: memFree=128590056/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=93416 memory=26248 CPUtime=0.29 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 3078 0 0 0 29 0 0 0 20 0 1 0 161653764 95657984 6562 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 23354 6562 3995 3002 0 7105 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93416 KiB
Current children cumulated memory: 26248 KiB
[startup+0.700216 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 835450
/proc/meminfo: memFree=128562700/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=111316 memory=43916 CPUtime=0.68 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 7554 0 0 0 67 1 0 0 20 0 1 0 161653764 113987584 10979 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 27829 10979 4011 3002 0 11580 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 111316 KiB
Current children cumulated memory: 43916 KiB
[startup+1.50022 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 835450
/proc/meminfo: memFree=128452744/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=189488 memory=119224 CPUtime=1.48 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 28138 0 0 0 145 3 0 0 20 0 1 0 161653764 194035712 29806 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 47372 29806 4011 3002 0 31123 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 189488 KiB
Current children cumulated memory: 119224 KiB
[startup+3.10481 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 835497
/proc/meminfo: memFree=128694276/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=232188 memory=159352 CPUtime=3.08 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 38193 0 0 0 304 4 0 0 20 0 1 0 161653764 237760512 39838 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 58047 39838 4011 3002 0 41798 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 232188 KiB
Current children cumulated memory: 159352 KiB
[startup+6.30014 s]
/proc/loadavg: 4.12 4.12 4.09 6/257 835497
/proc/meminfo: memFree=128626072/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=231840 memory=160200 CPUtime=6.26 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 38436 0 0 0 622 4 0 0 20 0 1 0 161653764 237404160 40050 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 57960 40050 4011 3002 0 41711 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 231840 KiB
Current children cumulated memory: 160200 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 835499
/proc/meminfo: memFree=128617808/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=232440 memory=160736 CPUtime=12.65 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 38674 0 0 0 1261 4 0 0 20 0 1 0 161653764 238018560 40184 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 58110 40184 4011 3002 0 41861 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 232440 KiB
Current children cumulated memory: 160736 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 835501
/proc/meminfo: memFree=128341680/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=292612 memory=219336 CPUtime=25.41 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 53271 0 0 0 2534 7 0 0 20 0 1 0 161653764 299634688 54834 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 73153 54834 4011 3002 0 56904 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 292612 KiB
Current children cumulated memory: 219336 KiB
[startup+51.1053 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 835505
/proc/meminfo: memFree=128316228/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=290476 memory=217048 CPUtime=50.96 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 53782 0 0 0 5086 10 0 0 20 0 1 0 161653764 297447424 54262 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 72619 54262 4011 3002 0 56370 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 290476 KiB
Current children cumulated memory: 217048 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 835898
/proc/meminfo: memFree=128264888/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=290476 memory=217256 CPUtime=102.01 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 54023 0 0 0 10188 13 0 0 20 0 1 0 161653764 297447424 54314 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 72619 54314 4011 3002 0 56370 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 290476 KiB
Current children cumulated memory: 217256 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 835908
/proc/meminfo: memFree=128040720/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=326176 memory=257120 CPUtime=161.85 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 65531 0 0 0 16170 15 0 0 20 0 1 0 161653764 334004224 64280 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 81544 64280 4022 3002 0 65295 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 326176 KiB
Current children cumulated memory: 257120 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 835919
/proc/meminfo: memFree=127972356/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=384388 memory=314928 CPUtime=221.7 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 80240 0 0 0 22152 18 0 0 20 0 1 0 161653764 393613312 78732 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 96097 78732 4022 3002 0 79848 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 314928 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/257 836098
/proc/meminfo: memFree=127968744/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=384388 memory=314928 CPUtime=281.54 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 80240 0 0 0 28135 19 0 0 20 0 1 0 161653764 393613312 78732 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 96097 78732 4022 3002 0 79848 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 314928 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 836109
/proc/meminfo: memFree=128100592/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=296084 memory=228308 CPUtime=341.36 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 83140 0 0 0 34063 73 0 0 20 0 1 0 161653764 303190016 57077 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 74021 57077 4181 3002 0 57772 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 296084 KiB
Current children cumulated memory: 228308 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 836121
/proc/meminfo: memFree=128064020/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=315052 memory=235964 CPUtime=401.2 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 83520 0 0 0 40003 117 0 0 20 0 1 0 161653764 322613248 58991 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 78763 58991 4181 3002 0 62514 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 315052 KiB
Current children cumulated memory: 235964 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 836143
/proc/meminfo: memFree=128043944/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=315052 memory=239672 CPUtime=461.02 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 83808 0 0 0 45941 161 0 0 20 0 1 0 161653764 322613248 59918 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 78763 59918 4181 3002 0 62514 0
################
# More data... #
################
Current children cumulated memory: 289564 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/256 837197
/proc/meminfo: memFree=127796372/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=345872 memory=289812 CPUtime=2854 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 87723 0 0 0 284681 719 0 0 20 0 1 0 161653764 354172928 72453 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 86468 72453 4181 3002 0 70219 0
Current children cumulated CPU time: 2854 s
Current children cumulated vsize: 345872 KiB
Current children cumulated memory: 289812 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/257 837209
/proc/meminfo: memFree=127795712/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=345872 memory=290012 CPUtime=2913.82 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 87815 0 0 0 290652 730 0 0 20 0 1 0 161653764 354172928 72503 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 86468 72503 4181 3002 0 70219 0
Current children cumulated CPU time: 2913.82 s
Current children cumulated vsize: 345872 KiB
Current children cumulated memory: 290012 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/257 837219
/proc/meminfo: memFree=127794816/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=345872 memory=290012 CPUtime=2973.62 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 87902 0 0 0 296619 743 0 0 20 0 1 0 161653764 354172928 72503 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 86468 72503 4181 3002 0 70219 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 345872 KiB
Current children cumulated memory: 290012 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.11 6/257 837231
/proc/meminfo: memFree=127793116/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=395960 memory=290724 CPUtime=3033.43 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 88235 0 0 0 302588 755 0 0 20 0 1 0 161653764 405463040 72681 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 98990 72681 4181 3002 0 82741 0
Current children cumulated CPU time: 3033.43 s
Current children cumulated vsize: 395960 KiB
Current children cumulated memory: 290724 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/255 837241
/proc/meminfo: memFree=127790140/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=395960 memory=290956 CPUtime=3093.24 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 88345 0 0 0 308554 770 0 0 20 0 1 0 161653764 405463040 72739 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 98990 72739 4181 3002 0 82741 0
Current children cumulated CPU time: 3093.24 s
Current children cumulated vsize: 395960 KiB
Current children cumulated memory: 290956 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/255 837252
/proc/meminfo: memFree=127786328/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=395960 memory=294208 CPUtime=3153.05 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 88757 0 0 0 314517 788 0 0 20 0 1 0 161653764 405463040 73552 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 98990 73552 4181 3002 0 82741 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 395960 KiB
Current children cumulated memory: 294208 KiB
[startup+3222.3 s]
/proc/loadavg: 4.39 4.21 4.13 5/255 837264
/proc/meminfo: memFree=127783452/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=395960 memory=296256 CPUtime=3212.84 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 88871 0 0 0 320484 800 0 0 20 0 1 0 161653764 405463040 74064 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 98990 74064 4181 3002 0 82741 0
Current children cumulated CPU time: 3212.84 s
Current children cumulated vsize: 395960 KiB
Current children cumulated memory: 296256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/255 837274
/proc/meminfo: memFree=127781844/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=395960 memory=296256 CPUtime=3272.65 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 88981 0 0 0 326450 815 0 0 20 0 1 0 161653764 405463040 74064 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 98990 74064 4181 3002 0 82741 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 395960 KiB
Current children cumulated memory: 296256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.15 4.11 5/255 837284
/proc/meminfo: memFree=127779156/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=395960 memory=296256 CPUtime=3332.45 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 89094 0 0 0 332418 827 0 0 20 0 1 0 161653764 405463040 74064 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 98990 74064 4181 3002 0 82741 0
Current children cumulated CPU time: 3332.45 s
Current children cumulated vsize: 395960 KiB
Current children cumulated memory: 296256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/257 837298
/proc/meminfo: memFree=127776276/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=395960 memory=296256 CPUtime=3392.25 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 89204 0 0 0 338387 838 0 0 20 0 1 0 161653764 405463040 74064 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 98990 74064 4181 3002 0 82741 0
Current children cumulated CPU time: 3392.25 s
Current children cumulated vsize: 395960 KiB
Current children cumulated memory: 296256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.44 4.22 4.14 5/257 837309
/proc/meminfo: memFree=127775332/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=395960 memory=296256 CPUtime=3452.06 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 89318 0 0 0 344358 848 0 0 20 0 1 0 161653764 405463040 74064 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 98990 74064 4181 3002 0 82741 0
Current children cumulated CPU time: 3452.06 s
Current children cumulated vsize: 395960 KiB
Current children cumulated memory: 296256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.20 4.14 5/256 837320
/proc/meminfo: memFree=127773240/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=395960 memory=296256 CPUtime=3511.86 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 89429 0 0 0 350330 856 0 0 20 0 1 0 161653764 405463040 74064 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 98990 74064 4181 3002 0 82741 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 395960 KiB
Current children cumulated memory: 296256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.20 4.14 5/256 837331
/proc/meminfo: memFree=127765464/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=395960 memory=296256 CPUtime=3571.66 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 89542 0 0 0 356299 867 0 0 20 0 1 0 161653764 405463040 74064 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 98990 74064 4181 3002 0 82741 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 395960 KiB
Current children cumulated memory: 296256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.20 4.20 4.14 5/256 837430
/proc/meminfo: memFree=128313544/131524600 swapFree=131071996/131071996
[pid=835449] ppid=835446 vsize=395960 memory=296256 CPUtime=3600.06 cores=1,3
/proc/835449/stat : 835449 (mixed-bag) R 835446 835449 833369 0 -1 4194304 89598 0 0 0 359135 871 0 0 20 0 1 0 161653764 405463040 74064 134679101440 4194304 16487941 140734274119616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 45588480 140734274122775 140734274122852 140734274122852 140734274129867 0
/proc/835449/statm: 98990 74064 4181 3002 0 82741 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 395960 KiB
Current children cumulated memory: 296256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 835449 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.36 s, system=8.72134 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.81
CPU time (s): 3600.09
CPU user time (s): 3591.36
CPU system time (s): 8.72134
CPU usage (%): 99.703
Max. virtual memory (cumulated for all children) (KiB): 395960
Max. memory (cumulated for all children) (KiB): 315728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.36
system time used= 8.72134
maximum resident set size= 315728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89620
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= 52
involuntary context switches= 2931
# summary of solver processes directly reported to runsolver:
# pid: 835449
# total CPU time (s): 3600.09
# total CPU user time (s): 3591.36
# total CPU system time (s): 8.72134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.90382 second user time and 13.8835 second system time
The end
Begin job on nodeC035 at 2024-07-16 03:54:02
IDJOB=4435451
IDBENCH=147547
IDSOLVER=3066
FILE ID=nodeC035/4435451-1721094829
RUNJOBID= nodeC035-1721091231-833381
SLURM_JOB_ID= 7505584
Free space on /tmp= 890020 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435451-1721094829/watcher-4435451-1721094829 -o /tmp/evaluation-result-4435451-1721094829/solver-4435451-1721094829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833381 --watchdog 3760 mixed-bag HOME/instance-4435451-1721094829.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
RANDOM SEED=1758606305
nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.631
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.715
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.998
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.320
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.580
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.933
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.975
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.273
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128674736 kB
MemAvailable: 129219192 kB
Buffers: 375540 kB
Cached: 1008004 kB
SwapCached: 0 kB
Active: 685036 kB
Inactive: 1575752 kB
Active(anon): 1520 kB
Inactive(anon): 913480 kB
Active(file): 683516 kB
Inactive(file): 662272 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 48996 kB
Writeback: 0 kB
AnonPages: 877420 kB
Mapped: 137652 kB
Shmem: 37724 kB
KReclaimable: 76984 kB
Slab: 180180 kB
SReclaimable: 76984 kB
SUnreclaim: 103196 kB
KernelStack: 4140 kB
PageTables: 11228 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1252284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62656 kB
HardwareCorrupted: 0 kB
AnonHugePages: 649216 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC035 at 2024-07-16 04:54:13