0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 256 #constraints 178
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 10 @ 0.000977
0.00/0.00 c stratification level: 0
0.00/0.01 c bounds - >= 30 @ 0.001531
0.00/0.01 c bounds - >= 32 @ 0.001531
0.00/0.01 c bounds - >= 40 @ 0.001531
0.00/0.01 c bounds - >= 45 @ 0.001531
0.00/0.01 c bounds - >= 54 @ 0.001531
0.00/0.01 c bounds - >= 58 @ 0.001531
0.00/0.01 c bounds - >= 65 @ 0.001531
0.00/0.01 c bounds - >= 76 @ 0.001531
0.00/0.01 c bounds - >= 83 @ 0.001531
0.00/0.01 c bounds - >= 93 @ 0.001531
0.00/0.01 c bounds - >= 102 @ 0.001531
0.00/0.01 c bounds - >= 109 @ 0.001531
0.00/0.01 c bounds - >= 111 @ 0.001531
0.00/0.01 c bounds - >= 117 @ 0.001531
0.00/0.01 c bounds - >= 119 @ 0.001531
0.00/0.01 c finalizing WCE round: reformulating cores
27.21/27.34 c #Conflicts: 1000 | #Constraints: 1204
27.21/27.34 c #Conflicts: 2000 | #Constraints: 2206
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 3000 | #Constraints: 2194
27.21/27.34 c #Conflicts: 4000 | #Constraints: 3196
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 5000 | #Constraints: 2606
27.21/27.34 c #Conflicts: 6000 | #Constraints: 3608
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 7000 | #Constraints: 2617
27.21/27.34 c #Conflicts: 8000 | #Constraints: 3619
27.21/27.34 c #Conflicts: 9000 | #Constraints: 4623
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 10000 | #Constraints: 3327
27.21/27.34 c #Conflicts: 11000 | #Constraints: 4329
27.21/27.34 c #Conflicts: 12000 | #Constraints: 5331
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 13000 | #Constraints: 3781
27.21/27.34 c bounds 125 >= 119 @ 2.24885
27.21/27.34 c bounds 125 >= 121 @ 2.24986
27.21/27.34 c bounds 125 >= 122 @ 2.25061
27.21/27.34 c #Conflicts: 14000 | #Constraints: 4807
27.21/27.34 c #Conflicts: 15000 | #Constraints: 5807
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 16000 | #Constraints: 4033
27.21/27.34 c #Conflicts: 17000 | #Constraints: 5033
27.21/27.34 c #Conflicts: 18000 | #Constraints: 6033
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 19000 | #Constraints: 4049
27.21/27.34 c #Conflicts: 20000 | #Constraints: 5049
27.21/27.34 c #Conflicts: 21000 | #Constraints: 6049
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 22000 | #Constraints: 3850
27.21/27.34 c #Conflicts: 23000 | #Constraints: 4850
27.21/27.34 c #Conflicts: 24000 | #Constraints: 5850
27.21/27.34 c #Conflicts: 25000 | #Constraints: 6850
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 26000 | #Constraints: 4453
27.21/27.34 c #Conflicts: 27000 | #Constraints: 5453
27.21/27.34 c #Conflicts: 28000 | #Constraints: 6453
27.21/27.34 c #Conflicts: 29000 | #Constraints: 7453
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 30000 | #Constraints: 4857
27.21/27.34 c #Conflicts: 31000 | #Constraints: 5857
27.21/27.34 c #Conflicts: 32000 | #Constraints: 6857
27.21/27.34 c #Conflicts: 33000 | #Constraints: 7857
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 34000 | #Constraints: 5059
27.21/27.34 c #Conflicts: 35000 | #Constraints: 6059
27.21/27.34 c #Conflicts: 36000 | #Constraints: 7059
27.21/27.34 c #Conflicts: 37000 | #Constraints: 8059
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 38000 | #Constraints: 5062
27.21/27.34 c #Conflicts: 39000 | #Constraints: 6062
27.21/27.34 c #Conflicts: 40000 | #Constraints: 7062
27.21/27.34 c #Conflicts: 41000 | #Constraints: 8062
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 42000 | #Constraints: 4858
27.21/27.34 c #Conflicts: 43000 | #Constraints: 5858
27.21/27.34 c #Conflicts: 44000 | #Constraints: 6858
27.21/27.34 c #Conflicts: 45000 | #Constraints: 7858
27.21/27.34 c #Conflicts: 46000 | #Constraints: 8858
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 47000 | #Constraints: 5460
27.21/27.34 c #Conflicts: 48000 | #Constraints: 6460
27.21/27.34 c #Conflicts: 49000 | #Constraints: 7460
27.21/27.34 c #Conflicts: 50000 | #Constraints: 8460
27.21/27.34 c #Conflicts: 51000 | #Constraints: 9460
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 52000 | #Constraints: 5856
27.21/27.34 c #Conflicts: 53000 | #Constraints: 6856
27.21/27.34 c #Conflicts: 54000 | #Constraints: 7856
27.21/27.34 c #Conflicts: 55000 | #Constraints: 8856
27.21/27.34 c #Conflicts: 56000 | #Constraints: 9856
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 57000 | #Constraints: 6059
27.21/27.34 c #Conflicts: 58000 | #Constraints: 7059
27.21/27.34 c #Conflicts: 59000 | #Constraints: 8059
27.21/27.34 c #Conflicts: 60000 | #Constraints: 9059
27.21/27.34 c #Conflicts: 61000 | #Constraints: 10059
27.21/27.34 c INPROCESSING
27.21/27.34 c GARBAGE COLLECT
27.21/27.34 c #Conflicts: 62000 | #Constraints: 6063
27.21/27.34 c #Conflicts: 63000 | #Constraints: 7063
27.21/27.34 c #Conflicts: 64000 | #Constraints: 8063
27.21/27.34 c #Conflicts: 65000 | #Constraints: 9063
27.21/27.34 c #Conflicts: 66000 | #Constraints: 10063
27.21/27.34 c INPROCESSING
96.54/96.86 c GARBAGE COLLECT
96.54/96.86 c #Conflicts: 67000 | #Constraints: 5867
96.54/96.86 c #Conflicts: 68000 | #Constraints: 6867
96.54/96.86 c #Conflicts: 69000 | #Constraints: 7867
96.54/96.86 c #Conflicts: 70000 | #Constraints: 8867
96.54/96.86 c #Conflicts: 71000 | #Constraints: 9867
96.54/96.86 c #Conflicts: 72000 | #Constraints: 10867
96.54/96.86 c INPROCESSING
96.54/96.86 c GARBAGE COLLECT
96.54/96.86 c #Conflicts: 73000 | #Constraints: 6464
96.54/96.86 c #Conflicts: 74000 | #Constraints: 7464
96.54/96.86 c #Conflicts: 75000 | #Constraints: 8464
96.54/96.86 c #Conflicts: 76000 | #Constraints: 9464
96.54/96.86 c #Conflicts: 77000 | #Constraints: 10464
96.54/96.86 c #Conflicts: 78000 | #Constraints: 11464
96.54/96.86 c INPROCESSING
96.54/96.86 c GARBAGE COLLECT
96.54/96.86 c #Conflicts: 79000 | #Constraints: 6866
96.54/96.86 c #Conflicts: 80000 | #Constraints: 7866
96.54/96.86 c #Conflicts: 81000 | #Constraints: 8866
96.54/96.86 c #Conflicts: 82000 | #Constraints: 9866
96.54/96.86 c #Conflicts: 83000 | #Constraints: 10866
96.54/96.86 c #Conflicts: 84000 | #Constraints: 11866
96.54/96.86 c INPROCESSING
96.54/96.86 c GARBAGE COLLECT
96.54/96.86 c #Conflicts: 85000 | #Constraints: 7066
96.54/96.86 c #Conflicts: 86000 | #Constraints: 8066
96.54/96.86 c #Conflicts: 87000 | #Constraints: 9066
96.54/96.86 c #Conflicts: 88000 | #Constraints: 10066
96.54/96.86 c #Conflicts: 89000 | #Constraints: 11066
96.54/96.86 c #Conflicts: 90000 | #Constraints: 12066
96.54/96.86 c INPROCESSING
96.54/96.86 c GARBAGE COLLECT
96.54/96.86 c #Conflicts: 91000 | #Constraints: 7063
96.54/96.86 c #Conflicts: 92000 | #Constraints: 8063
96.54/96.86 c #Conflicts: 93000 | #Constraints: 9063
96.54/96.86 c #Conflicts: 94000 | #Constraints: 10063
96.54/96.86 c #Conflicts: 95000 | #Constraints: 11063
96.54/96.86 c #Conflicts: 96000 | #Constraints: 12063
96.54/96.86 c INPROCESSING
96.54/96.86 c GARBAGE COLLECT
96.54/96.86 c #Conflicts: 97000 | #Constraints: 6871
96.54/96.86 c #Conflicts: 98000 | #Constraints: 7871
96.54/96.86 c #Conflicts: 99000 | #Constraints: 8871
96.54/96.86 c #Conflicts: 100000 | #Constraints: 9871
96.54/96.86 c #Conflicts: 101000 | #Constraints: 10871
96.54/96.86 c #Conflicts: 102000 | #Constraints: 11871
96.54/96.86 c #Conflicts: 103000 | #Constraints: 12871
96.54/96.86 c INPROCESSING
96.54/96.86 c GARBAGE COLLECT
96.54/96.86 c #Conflicts: 104000 | #Constraints: 7469
96.54/96.86 c #Conflicts: 105000 | #Constraints: 8469
96.54/96.86 c #Conflicts: 106000 | #Constraints: 9469
96.54/96.86 c #Conflicts: 107000 | #Constraints: 10469
96.54/96.86 c #Conflicts: 108000 | #Constraints: 11469
96.54/96.86 c #Conflicts: 109000 | #Constraints: 12469
96.54/96.86 c #Conflicts: 110000 | #Constraints: 13469
96.54/96.86 c INPROCESSING
96.54/96.86 c GARBAGE COLLECT
96.54/96.86 c #Conflicts: 111000 | #Constraints: 7870
96.54/96.86 c #Conflicts: 112000 | #Constraints: 8870
96.54/96.86 c #Conflicts: 113000 | #Constraints: 9870
96.54/96.86 c #Conflicts: 114000 | #Constraints: 10870
96.54/96.86 c #Conflicts: 115000 | #Constraints: 11870
96.54/96.86 c #Conflicts: 116000 | #Constraints: 12870
96.54/96.86 c #Conflicts: 117000 | #Constraints: 13870
96.54/96.86 c INPROCESSING
96.54/96.86 c GARBAGE COLLECT
96.54/96.86 c #Conflicts: 118000 | #Constraints: 8068
96.54/96.86 c #Conflicts: 119000 | #Constraints: 9068
96.54/96.86 c #Conflicts: 120000 | #Constraints: 10068
96.54/96.86 c #Conflicts: 121000 | #Constraints: 11068
96.54/96.86 c #Conflicts: 122000 | #Constraints: 12068
96.54/96.86 c #Conflicts: 123000 | #Constraints: 13068
96.54/96.86 c #Conflicts: 124000 | #Constraints: 14068
96.54/96.86 c INPROCESSING
96.54/96.86 c GARBAGE COLLECT
96.54/96.86 c #Conflicts: 125000 | #Constraints: 8075
96.54/96.86 c #Conflicts: 126000 | #Constraints: 9075
96.54/96.86 c #Conflicts: 127000 | #Constraints: 10075
96.54/96.86 c #Conflicts: 128000 | #Constraints: 11075
96.54/96.86 c #Conflicts: 129000 | #Constraints: 12075
96.54/96.86 c #Conflicts: 130000 | #Constraints: 13075
96.54/96.86 c #Conflicts: 131000 | #Constraints: 14075
96.54/96.86 c INPROCESSING
96.54/96.86 c GARBAGE COLLECT
96.54/96.86 c #Conflicts: 132000 | #Constraints: 7872
96.54/96.86 c #Conflicts: 133000 | #Constraints: 8872
96.54/96.86 c #Conflicts: 134000 | #Constraints: 9872
96.54/96.86 c #Conflicts: 135000 | #Constraints: 10872
96.54/96.86 c #Conflicts: 136000 | #Constraints: 11872
96.54/96.86 c #Conflicts: 137000 | #Constraints: 12872
96.54/96.86 c #Conflicts: 138000 | #Constraints: 13872
96.54/96.86 c #Conflicts: 139000 | #Constraints: 14872
205.14/205.76 c INPROCESSING
205.14/205.76 c GARBAGE COLLECT
205.14/205.76 c #Conflicts: 140000 | #Constraints: 8471
205.14/205.76 c #Conflicts: 141000 | #Constraints: 9471
205.14/205.76 c #Conflicts: 142000 | #Constraints: 10471
205.14/205.76 c #Conflicts: 143000 | #Constraints: 11471
205.14/205.76 c #Conflicts: 144000 | #Constraints: 12471
205.14/205.76 c #Conflicts: 145000 | #Constraints: 13471
205.14/205.76 c #Conflicts: 146000 | #Constraints: 14471
205.14/205.76 c #Conflicts: 147000 | #Constraints: 15471
205.14/205.76 c INPROCESSING
205.14/205.76 c GARBAGE COLLECT
205.14/205.76 c #Conflicts: 148000 | #Constraints: 8869
205.14/205.76 c #Conflicts: 149000 | #Constraints: 9869
205.14/205.76 c #Conflicts: 150000 | #Constraints: 10869
205.14/205.76 c #Conflicts: 151000 | #Constraints: 11869
205.14/205.76 c #Conflicts: 152000 | #Constraints: 12869
205.14/205.76 c #Conflicts: 153000 | #Constraints: 13869
205.14/205.76 c #Conflicts: 154000 | #Constraints: 14869
205.14/205.76 c #Conflicts: 155000 | #Constraints: 15869
205.14/205.76 c INPROCESSING
205.14/205.76 c GARBAGE COLLECT
205.14/205.76 c #Conflicts: 156000 | #Constraints: 9071
205.14/205.76 c #Conflicts: 157000 | #Constraints: 10071
205.14/205.76 c #Conflicts: 158000 | #Constraints: 11071
205.14/205.76 c #Conflicts: 159000 | #Constraints: 12071
205.14/205.76 c #Conflicts: 160000 | #Constraints: 13071
205.14/205.76 c #Conflicts: 161000 | #Constraints: 14071
205.14/205.76 c #Conflicts: 162000 | #Constraints: 15071
205.14/205.76 c #Conflicts: 163000 | #Constraints: 16071
205.14/205.76 c INPROCESSING
205.14/205.76 c GARBAGE COLLECT
205.14/205.76 c #Conflicts: 164000 | #Constraints: 9070
205.14/205.76 c #Conflicts: 165000 | #Constraints: 10070
205.14/205.76 c #Conflicts: 166000 | #Constraints: 11070
205.14/205.76 c #Conflicts: 167000 | #Constraints: 12070
205.14/205.76 c #Conflicts: 168000 | #Constraints: 13070
205.14/205.76 c #Conflicts: 169000 | #Constraints: 14070
205.14/205.76 c #Conflicts: 170000 | #Constraints: 15070
205.14/205.76 c #Conflicts: 171000 | #Constraints: 16070
205.14/205.76 c INPROCESSING
205.14/205.76 c GARBAGE COLLECT
205.14/205.76 c #Conflicts: 172000 | #Constraints: 8870
205.14/205.76 c #Conflicts: 173000 | #Constraints: 9870
205.14/205.76 c #Conflicts: 174000 | #Constraints: 10870
205.14/205.76 c #Conflicts: 175000 | #Constraints: 11870
205.14/205.76 c #Conflicts: 176000 | #Constraints: 12870
205.14/205.76 c #Conflicts: 177000 | #Constraints: 13870
205.14/205.76 c #Conflicts: 178000 | #Constraints: 14870
205.14/205.76 c #Conflicts: 179000 | #Constraints: 15870
205.14/205.76 c #Conflicts: 180000 | #Constraints: 16870
205.14/205.76 c INPROCESSING
205.14/205.76 c GARBAGE COLLECT
205.14/205.76 c #Conflicts: 181000 | #Constraints: 9471
205.14/205.76 c #Conflicts: 182000 | #Constraints: 10471
205.14/205.76 c #Conflicts: 183000 | #Constraints: 11471
205.14/205.76 c #Conflicts: 184000 | #Constraints: 12471
205.14/205.76 c #Conflicts: 185000 | #Constraints: 13471
205.14/205.76 c #Conflicts: 186000 | #Constraints: 14471
205.14/205.76 c #Conflicts: 187000 | #Constraints: 15471
205.14/205.76 c #Conflicts: 188000 | #Constraints: 16471
205.14/205.76 c #Conflicts: 189000 | #Constraints: 17471
205.14/205.76 c INPROCESSING
205.14/205.76 c GARBAGE COLLECT
205.14/205.76 c #Conflicts: 190000 | #Constraints: 9879
205.14/205.76 c #Conflicts: 191000 | #Constraints: 10879
205.14/205.76 c #Conflicts: 192000 | #Constraints: 11879
205.14/205.76 c #Conflicts: 193000 | #Constraints: 12879
205.14/205.76 c #Conflicts: 194000 | #Constraints: 13879
205.14/205.76 c #Conflicts: 195000 | #Constraints: 14879
205.14/205.76 c #Conflicts: 196000 | #Constraints: 15879
205.14/205.76 c #Conflicts: 197000 | #Constraints: 16879
205.14/205.76 c #Conflicts: 198000 | #Constraints: 17879
205.14/205.76 c INPROCESSING
205.14/205.76 c GARBAGE COLLECT
205.14/205.76 c #Conflicts: 199000 | #Constraints: 10073
205.14/205.76 c #Conflicts: 200000 | #Constraints: 11073
205.14/205.76 c #Conflicts: 201000 | #Constraints: 12073
205.14/205.76 c #Conflicts: 202000 | #Constraints: 13073
205.14/205.76 c #Conflicts: 203000 | #Constraints: 14073
205.14/205.76 c #Conflicts: 204000 | #Constraints: 15073
205.14/205.76 c #Conflicts: 205000 | #Constraints: 16073
205.14/205.76 c #Conflicts: 206000 | #Constraints: 17073
205.14/205.76 c #Conflicts: 207000 | #Constraints: 18073
205.14/205.76 c INPROCESSING
205.14/205.76 c GARBAGE COLLECT
205.14/205.76 c #Conflicts: 208000 | #Constraints: 10076
205.14/205.76 c #Conflicts: 209000 | #Constraints: 11076
205.14/205.76 c #Conflicts: 210000 | #Constraints: 12076
205.14/205.76 c #Conflicts: 211000 | #Constraints: 13076
205.14/205.76 c #Conflicts: 212000 | #Constraints: 14076
334.09/335.10 c #Conflicts: 213000 | #Constraints: 15076
334.09/335.10 c #Conflicts: 214000 | #Constraints: 16076
334.09/335.10 c #Conflicts: 215000 | #Constraints: 17076
334.09/335.10 c #Conflicts: 216000 | #Constraints: 18076
334.09/335.10 c INPROCESSING
334.09/335.10 c GARBAGE COLLECT
334.09/335.10 c #Conflicts: 217000 | #Constraints: 9871
334.09/335.10 c #Conflicts: 218000 | #Constraints: 10871
334.09/335.10 c #Conflicts: 219000 | #Constraints: 11871
334.09/335.10 c #Conflicts: 220000 | #Constraints: 12871
334.09/335.10 c #Conflicts: 221000 | #Constraints: 13871
334.09/335.10 c #Conflicts: 222000 | #Constraints: 14871
334.09/335.10 c #Conflicts: 223000 | #Constraints: 15871
334.09/335.10 c #Conflicts: 224000 | #Constraints: 16871
334.09/335.10 c #Conflicts: 225000 | #Constraints: 17871
334.09/335.10 c #Conflicts: 226000 | #Constraints: 18871
334.09/335.10 c INPROCESSING
334.09/335.10 c GARBAGE COLLECT
334.09/335.10 c #Conflicts: 227000 | #Constraints: 10467
334.09/335.10 c #Conflicts: 228000 | #Constraints: 11467
334.09/335.10 c #Conflicts: 229000 | #Constraints: 12467
334.09/335.10 c #Conflicts: 230000 | #Constraints: 13467
334.09/335.10 c #Conflicts: 231000 | #Constraints: 14467
334.09/335.10 c #Conflicts: 232000 | #Constraints: 15467
334.09/335.10 c #Conflicts: 233000 | #Constraints: 16467
334.09/335.10 c #Conflicts: 234000 | #Constraints: 17467
334.09/335.10 c #Conflicts: 235000 | #Constraints: 18467
334.09/335.10 c #Conflicts: 236000 | #Constraints: 19467
334.09/335.10 c INPROCESSING
334.09/335.10 c GARBAGE COLLECT
334.09/335.10 c #Conflicts: 237000 | #Constraints: 10870
334.09/335.10 c #Conflicts: 238000 | #Constraints: 11870
334.09/335.10 c #Conflicts: 239000 | #Constraints: 12870
334.09/335.10 c #Conflicts: 240000 | #Constraints: 13870
334.09/335.10 c #Conflicts: 241000 | #Constraints: 14870
334.09/335.10 c #Conflicts: 242000 | #Constraints: 15870
334.09/335.10 c #Conflicts: 243000 | #Constraints: 16870
334.09/335.10 c #Conflicts: 244000 | #Constraints: 17870
334.09/335.10 c #Conflicts: 245000 | #Constraints: 18870
334.09/335.10 c #Conflicts: 246000 | #Constraints: 19870
334.09/335.10 c INPROCESSING
334.09/335.10 c GARBAGE COLLECT
334.09/335.10 c #Conflicts: 247000 | #Constraints: 11071
334.09/335.10 c #Conflicts: 248000 | #Constraints: 12071
334.09/335.10 c #Conflicts: 249000 | #Constraints: 13071
334.09/335.10 c #Conflicts: 250000 | #Constraints: 14071
334.09/335.10 c #Conflicts: 251000 | #Constraints: 15071
334.09/335.10 c #Conflicts: 252000 | #Constraints: 16071
334.09/335.10 c #Conflicts: 253000 | #Constraints: 17071
334.09/335.10 c #Conflicts: 254000 | #Constraints: 18071
334.09/335.10 c #Conflicts: 255000 | #Constraints: 19071
334.09/335.10 c #Conflicts: 256000 | #Constraints: 20071
334.09/335.10 c INPROCESSING
334.09/335.10 c GARBAGE COLLECT
334.09/335.10 c #Conflicts: 257000 | #Constraints: 11072
334.09/335.10 c #Conflicts: 258000 | #Constraints: 12072
334.09/335.10 c #Conflicts: 259000 | #Constraints: 13072
334.09/335.10 c #Conflicts: 260000 | #Constraints: 14072
334.09/335.10 c #Conflicts: 261000 | #Constraints: 15072
334.09/335.10 c #Conflicts: 262000 | #Constraints: 16072
334.09/335.10 c #Conflicts: 263000 | #Constraints: 17072
334.09/335.10 c #Conflicts: 264000 | #Constraints: 18072
334.09/335.10 c #Conflicts: 265000 | #Constraints: 19072
334.09/335.10 c #Conflicts: 266000 | #Constraints: 20072
334.09/335.10 c INPROCESSING
334.09/335.10 c GARBAGE COLLECT
334.09/335.10 c #Conflicts: 267000 | #Constraints: 10873
334.09/335.10 c #Conflicts: 268000 | #Constraints: 11873
334.09/335.10 c #Conflicts: 269000 | #Constraints: 12873
334.09/335.10 c #Conflicts: 270000 | #Constraints: 13873
334.09/335.10 c #Conflicts: 271000 | #Constraints: 14873
334.09/335.10 c #Conflicts: 272000 | #Constraints: 15873
334.09/335.10 c #Conflicts: 273000 | #Constraints: 16873
334.09/335.10 c #Conflicts: 274000 | #Constraints: 17873
334.09/335.10 c #Conflicts: 275000 | #Constraints: 18873
334.09/335.10 c #Conflicts: 276000 | #Constraints: 19873
334.09/335.10 c #Conflicts: 277000 | #Constraints: 20873
334.09/335.10 c INPROCESSING
334.09/335.10 c GARBAGE COLLECT
334.09/335.10 c #Conflicts: 278000 | #Constraints: 11472
334.09/335.10 c #Conflicts: 279000 | #Constraints: 12472
334.09/335.10 c #Conflicts: 280000 | #Constraints: 13472
334.09/335.10 c #Conflicts: 281000 | #Constraints: 14472
334.09/335.10 c #Conflicts: 282000 | #Constraints: 15472
334.09/335.10 c #Conflicts: 283000 | #Constraints: 16472
334.09/335.10 c #Conflicts: 284000 | #Constraints: 17472
334.09/335.10 c #Conflicts: 285000 | #Constraints: 18472
334.09/335.10 c #Conflicts: 286000 | #Constraints: 19472
524.26/525.78 c #Conflicts: 287000 | #Constraints: 20472
524.26/525.78 c #Conflicts: 288000 | #Constraints: 21472
524.26/525.78 c INPROCESSING
524.26/525.78 c GARBAGE COLLECT
524.26/525.78 c #Conflicts: 289000 | #Constraints: 11873
524.26/525.78 c #Conflicts: 290000 | #Constraints: 12873
524.26/525.78 c #Conflicts: 291000 | #Constraints: 13873
524.26/525.78 c #Conflicts: 292000 | #Constraints: 14873
524.26/525.78 c #Conflicts: 293000 | #Constraints: 15873
524.26/525.78 c #Conflicts: 294000 | #Constraints: 16873
524.26/525.78 c #Conflicts: 295000 | #Constraints: 17873
524.26/525.78 c #Conflicts: 296000 | #Constraints: 18873
524.26/525.78 c #Conflicts: 297000 | #Constraints: 19873
524.26/525.78 c #Conflicts: 298000 | #Constraints: 20873
524.26/525.78 c #Conflicts: 299000 | #Constraints: 21873
524.26/525.78 c INPROCESSING
524.26/525.78 c GARBAGE COLLECT
524.26/525.78 c #Conflicts: 300000 | #Constraints: 12068
524.26/525.78 c #Conflicts: 301000 | #Constraints: 13068
524.26/525.78 c #Conflicts: 302000 | #Constraints: 14068
524.26/525.78 c #Conflicts: 303000 | #Constraints: 15068
524.26/525.78 c #Conflicts: 304000 | #Constraints: 16068
524.26/525.78 c #Conflicts: 305000 | #Constraints: 17068
524.26/525.78 c #Conflicts: 306000 | #Constraints: 18068
524.26/525.78 c #Conflicts: 307000 | #Constraints: 19068
524.26/525.78 c #Conflicts: 308000 | #Constraints: 20068
524.26/525.78 c #Conflicts: 309000 | #Constraints: 21068
524.26/525.78 c #Conflicts: 310000 | #Constraints: 22068
524.26/525.78 c INPROCESSING
524.26/525.78 c GARBAGE COLLECT
524.26/525.78 c #Conflicts: 311000 | #Constraints: 12074
524.26/525.78 c #Conflicts: 312000 | #Constraints: 13074
524.26/525.78 c #Conflicts: 313000 | #Constraints: 14074
524.26/525.78 c #Conflicts: 314000 | #Constraints: 15074
524.26/525.78 c #Conflicts: 315000 | #Constraints: 16074
524.26/525.78 c #Conflicts: 316000 | #Constraints: 17074
524.26/525.78 c #Conflicts: 317000 | #Constraints: 18074
524.26/525.78 c #Conflicts: 318000 | #Constraints: 19074
524.26/525.78 c #Conflicts: 319000 | #Constraints: 20074
524.26/525.78 c #Conflicts: 320000 | #Constraints: 21074
524.26/525.78 c #Conflicts: 321000 | #Constraints: 22074
524.26/525.78 c INPROCESSING
524.26/525.78 c GARBAGE COLLECT
524.26/525.78 c #Conflicts: 322000 | #Constraints: 11871
524.26/525.78 c #Conflicts: 323000 | #Constraints: 12871
524.26/525.78 c #Conflicts: 324000 | #Constraints: 13871
524.26/525.78 c #Conflicts: 325000 | #Constraints: 14871
524.26/525.78 c #Conflicts: 326000 | #Constraints: 15871
524.26/525.78 c #Conflicts: 327000 | #Constraints: 16871
524.26/525.78 c #Conflicts: 328000 | #Constraints: 17871
524.26/525.78 c #Conflicts: 329000 | #Constraints: 18871
524.26/525.78 c #Conflicts: 330000 | #Constraints: 19871
524.26/525.78 c #Conflicts: 331000 | #Constraints: 20871
524.26/525.78 c #Conflicts: 332000 | #Constraints: 21871
524.26/525.78 c #Conflicts: 333000 | #Constraints: 22871
524.26/525.78 c INPROCESSING
524.26/525.78 c GARBAGE COLLECT
524.26/525.78 c #Conflicts: 334000 | #Constraints: 12467
524.26/525.78 c #Conflicts: 335000 | #Constraints: 13467
524.26/525.78 c #Conflicts: 336000 | #Constraints: 14467
524.26/525.78 c #Conflicts: 337000 | #Constraints: 15467
524.26/525.78 c #Conflicts: 338000 | #Constraints: 16467
524.26/525.78 c #Conflicts: 339000 | #Constraints: 17467
524.26/525.78 c #Conflicts: 340000 | #Constraints: 18467
524.26/525.78 c #Conflicts: 341000 | #Constraints: 19467
524.26/525.78 c #Conflicts: 342000 | #Constraints: 20467
524.26/525.78 c #Conflicts: 343000 | #Constraints: 21467
524.26/525.78 c #Conflicts: 344000 | #Constraints: 22467
524.26/525.78 c #Conflicts: 345000 | #Constraints: 23467
524.26/525.78 c INPROCESSING
524.26/525.78 c GARBAGE COLLECT
524.26/525.78 c #Conflicts: 346000 | #Constraints: 12867
524.26/525.78 c #Conflicts: 347000 | #Constraints: 13867
524.26/525.78 c #Conflicts: 348000 | #Constraints: 14867
524.26/525.78 c #Conflicts: 349000 | #Constraints: 15867
524.26/525.78 c #Conflicts: 350000 | #Constraints: 16867
524.26/525.78 c #Conflicts: 351000 | #Constraints: 17867
524.26/525.78 c #Conflicts: 352000 | #Constraints: 18867
524.26/525.78 c #Conflicts: 353000 | #Constraints: 19867
524.26/525.78 c #Conflicts: 354000 | #Constraints: 20867
524.26/525.78 c #Conflicts: 355000 | #Constraints: 21867
524.26/525.78 c #Conflicts: 356000 | #Constraints: 22867
524.26/525.78 c #Conflicts: 357000 | #Constraints: 23867
524.26/525.78 c INPROCESSING
524.26/525.78 c GARBAGE COLLECT
524.26/525.78 c #Conflicts: 358000 | #Constraints: 13073
524.26/525.78 c #Conflicts: 359000 | #Constraints: 14073
524.26/525.78 c #Conflicts: 360000 | #Constraints: 15073
743.34/745.47 c #Conflicts: 361000 | #Constraints: 16073
743.34/745.47 c #Conflicts: 362000 | #Constraints: 17073
743.34/745.47 c #Conflicts: 363000 | #Constraints: 18073
743.34/745.47 c #Conflicts: 364000 | #Constraints: 19073
743.34/745.47 c #Conflicts: 365000 | #Constraints: 20073
743.34/745.47 c #Conflicts: 366000 | #Constraints: 21073
743.34/745.47 c #Conflicts: 367000 | #Constraints: 22073
743.34/745.47 c #Conflicts: 368000 | #Constraints: 23073
743.34/745.47 c #Conflicts: 369000 | #Constraints: 24073
743.34/745.47 c INPROCESSING
743.34/745.47 c GARBAGE COLLECT
743.34/745.47 c #Conflicts: 370000 | #Constraints: 13075
743.34/745.47 c #Conflicts: 371000 | #Constraints: 14075
743.34/745.47 c #Conflicts: 372000 | #Constraints: 15075
743.34/745.47 c #Conflicts: 373000 | #Constraints: 16075
743.34/745.47 c #Conflicts: 374000 | #Constraints: 17075
743.34/745.47 c #Conflicts: 375000 | #Constraints: 18075
743.34/745.47 c #Conflicts: 376000 | #Constraints: 19075
743.34/745.47 c #Conflicts: 377000 | #Constraints: 20075
743.34/745.47 c #Conflicts: 378000 | #Constraints: 21075
743.34/745.47 c #Conflicts: 379000 | #Constraints: 22075
743.34/745.47 c #Conflicts: 380000 | #Constraints: 23075
743.34/745.47 c #Conflicts: 381000 | #Constraints: 24075
743.34/745.47 c INPROCESSING
743.34/745.47 c GARBAGE COLLECT
743.34/745.47 c #Conflicts: 382000 | #Constraints: 12876
743.34/745.47 c #Conflicts: 383000 | #Constraints: 13876
743.34/745.47 c #Conflicts: 384000 | #Constraints: 14876
743.34/745.47 c #Conflicts: 385000 | #Constraints: 15876
743.34/745.47 c #Conflicts: 386000 | #Constraints: 16876
743.34/745.47 c #Conflicts: 387000 | #Constraints: 17876
743.34/745.47 c #Conflicts: 388000 | #Constraints: 18876
743.34/745.47 c #Conflicts: 389000 | #Constraints: 19876
743.34/745.47 c #Conflicts: 390000 | #Constraints: 20876
743.34/745.47 c #Conflicts: 391000 | #Constraints: 21876
743.34/745.47 c #Conflicts: 392000 | #Constraints: 22876
743.34/745.47 c #Conflicts: 393000 | #Constraints: 23876
743.34/745.47 c #Conflicts: 394000 | #Constraints: 24876
743.34/745.47 c INPROCESSING
743.34/745.47 c GARBAGE COLLECT
743.34/745.47 c #Conflicts: 395000 | #Constraints: 13467
743.34/745.47 c #Conflicts: 396000 | #Constraints: 14467
743.34/745.47 c #Conflicts: 397000 | #Constraints: 15467
743.34/745.47 c #Conflicts: 398000 | #Constraints: 16467
743.34/745.47 c #Conflicts: 399000 | #Constraints: 17467
743.34/745.47 c #Conflicts: 400000 | #Constraints: 18467
743.34/745.47 c #Conflicts: 401000 | #Constraints: 19467
743.34/745.47 c #Conflicts: 402000 | #Constraints: 20467
743.34/745.47 c #Conflicts: 403000 | #Constraints: 21467
743.34/745.47 c #Conflicts: 404000 | #Constraints: 22467
743.34/745.47 c #Conflicts: 405000 | #Constraints: 23467
743.34/745.47 c #Conflicts: 406000 | #Constraints: 24467
743.34/745.47 c #Conflicts: 407000 | #Constraints: 25467
743.34/745.47 c INPROCESSING
743.34/745.47 c GARBAGE COLLECT
743.34/745.47 c #Conflicts: 408000 | #Constraints: 13873
743.34/745.47 c #Conflicts: 409000 | #Constraints: 14873
743.34/745.47 c #Conflicts: 410000 | #Constraints: 15873
743.34/745.47 c #Conflicts: 411000 | #Constraints: 16873
743.34/745.47 c #Conflicts: 412000 | #Constraints: 17873
743.34/745.47 c #Conflicts: 413000 | #Constraints: 18873
743.34/745.47 c #Conflicts: 414000 | #Constraints: 19873
743.34/745.47 c #Conflicts: 415000 | #Constraints: 20873
743.34/745.47 c #Conflicts: 416000 | #Constraints: 21873
743.34/745.47 c #Conflicts: 417000 | #Constraints: 22873
743.34/745.47 c #Conflicts: 418000 | #Constraints: 23873
743.34/745.47 c #Conflicts: 419000 | #Constraints: 24873
743.34/745.47 c #Conflicts: 420000 | #Constraints: 25873
743.34/745.47 c INPROCESSING
743.34/745.47 c GARBAGE COLLECT
743.34/745.47 c #Conflicts: 421000 | #Constraints: 14077
743.34/745.47 c #Conflicts: 422000 | #Constraints: 15077
743.34/745.47 c #Conflicts: 423000 | #Constraints: 16077
743.34/745.47 c #Conflicts: 424000 | #Constraints: 17077
743.34/745.47 c #Conflicts: 425000 | #Constraints: 18077
743.34/745.47 c #Conflicts: 426000 | #Constraints: 19077
743.34/745.47 c #Conflicts: 427000 | #Constraints: 20077
743.34/745.47 c #Conflicts: 428000 | #Constraints: 21077
743.34/745.47 c #Conflicts: 429000 | #Constraints: 22077
743.34/745.47 c #Conflicts: 430000 | #Constraints: 23077
743.34/745.47 c #Conflicts: 431000 | #Constraints: 24077
743.34/745.47 c #Conflicts: 432000 | #Constraints: 25077
743.34/745.47 c #Conflicts: 433000 | #Constraints: 26077
743.34/745.47 c INPROCESSING
743.34/745.47 c GARBAGE COLLECT
743.34/745.47 c #Conflicts: 434000 | #Constraints: 14082
743.34/745.47 c #Conflicts: 435000 | #Constraints: 15082
1011.30/1014.18 c #Conflicts: 436000 | #Constraints: 16082
1011.30/1014.18 c #Conflicts: 437000 | #Constraints: 17082
1011.30/1014.18 c #Conflicts: 438000 | #Constraints: 18082
1011.30/1014.18 c #Conflicts: 439000 | #Constraints: 19082
1011.30/1014.18 c #Conflicts: 440000 | #Constraints: 20082
1011.30/1014.18 c #Conflicts: 441000 | #Constraints: 21082
1011.30/1014.18 c #Conflicts: 442000 | #Constraints: 22082
1011.30/1014.18 c #Conflicts: 443000 | #Constraints: 23082
1011.30/1014.18 c #Conflicts: 444000 | #Constraints: 24082
1011.30/1014.18 c #Conflicts: 445000 | #Constraints: 25082
1011.30/1014.18 c #Conflicts: 446000 | #Constraints: 26082
1011.30/1014.18 c INPROCESSING
1011.30/1014.18 c GARBAGE COLLECT
1011.30/1014.18 c #Conflicts: 447000 | #Constraints: 13885
1011.30/1014.18 c #Conflicts: 448000 | #Constraints: 14885
1011.30/1014.18 c #Conflicts: 449000 | #Constraints: 15885
1011.30/1014.18 c #Conflicts: 450000 | #Constraints: 16885
1011.30/1014.18 c #Conflicts: 451000 | #Constraints: 17885
1011.30/1014.18 c #Conflicts: 452000 | #Constraints: 18885
1011.30/1014.18 c #Conflicts: 453000 | #Constraints: 19885
1011.30/1014.18 c #Conflicts: 454000 | #Constraints: 20885
1011.30/1014.18 c #Conflicts: 455000 | #Constraints: 21885
1011.30/1014.18 c #Conflicts: 456000 | #Constraints: 22885
1011.30/1014.18 c #Conflicts: 457000 | #Constraints: 23885
1011.30/1014.18 c #Conflicts: 458000 | #Constraints: 24885
1011.30/1014.18 c #Conflicts: 459000 | #Constraints: 25885
1011.30/1014.18 c #Conflicts: 460000 | #Constraints: 26885
1011.30/1014.18 c INPROCESSING
1011.30/1014.18 c GARBAGE COLLECT
1011.30/1014.18 c #Conflicts: 461000 | #Constraints: 14478
1011.30/1014.18 c #Conflicts: 462000 | #Constraints: 15478
1011.30/1014.18 c #Conflicts: 463000 | #Constraints: 16478
1011.30/1014.18 c #Conflicts: 464000 | #Constraints: 17478
1011.30/1014.18 c #Conflicts: 465000 | #Constraints: 18478
1011.30/1014.18 c #Conflicts: 466000 | #Constraints: 19478
1011.30/1014.18 c #Conflicts: 467000 | #Constraints: 20478
1011.30/1014.18 c #Conflicts: 468000 | #Constraints: 21478
1011.30/1014.18 c #Conflicts: 469000 | #Constraints: 22478
1011.30/1014.18 c #Conflicts: 470000 | #Constraints: 23478
1011.30/1014.18 c #Conflicts: 471000 | #Constraints: 24478
1011.30/1014.18 c #Conflicts: 472000 | #Constraints: 25478
1011.30/1014.18 c #Conflicts: 473000 | #Constraints: 26478
1011.30/1014.18 c #Conflicts: 474000 | #Constraints: 27478
1011.30/1014.18 c INPROCESSING
1011.30/1014.18 c GARBAGE COLLECT
1011.30/1014.18 c #Conflicts: 475000 | #Constraints: 14873
1011.30/1014.18 c #Conflicts: 476000 | #Constraints: 15873
1011.30/1014.18 c #Conflicts: 477000 | #Constraints: 16873
1011.30/1014.18 c #Conflicts: 478000 | #Constraints: 17873
1011.30/1014.18 c #Conflicts: 479000 | #Constraints: 18873
1011.30/1014.18 c #Conflicts: 480000 | #Constraints: 19873
1011.30/1014.18 c #Conflicts: 481000 | #Constraints: 20873
1011.30/1014.18 c #Conflicts: 482000 | #Constraints: 21873
1011.30/1014.18 c #Conflicts: 483000 | #Constraints: 22873
1011.30/1014.18 c #Conflicts: 484000 | #Constraints: 23873
1011.30/1014.18 c #Conflicts: 485000 | #Constraints: 24873
1011.30/1014.18 c #Conflicts: 486000 | #Constraints: 25873
1011.30/1014.18 c #Conflicts: 487000 | #Constraints: 26873
1011.30/1014.18 c #Conflicts: 488000 | #Constraints: 27873
1011.30/1014.18 c INPROCESSING
1011.30/1014.18 c GARBAGE COLLECT
1011.30/1014.18 c #Conflicts: 489000 | #Constraints: 15077
1011.30/1014.18 c #Conflicts: 490000 | #Constraints: 16077
1011.30/1014.18 c #Conflicts: 491000 | #Constraints: 17077
1011.30/1014.18 c #Conflicts: 492000 | #Constraints: 18077
1011.30/1014.18 c #Conflicts: 493000 | #Constraints: 19077
1011.30/1014.18 c #Conflicts: 494000 | #Constraints: 20077
1011.30/1014.18 c #Conflicts: 495000 | #Constraints: 21077
1011.30/1014.18 c #Conflicts: 496000 | #Constraints: 22077
1011.30/1014.18 c #Conflicts: 497000 | #Constraints: 23077
1011.30/1014.18 c #Conflicts: 498000 | #Constraints: 24077
1011.30/1014.18 c #Conflicts: 499000 | #Constraints: 25077
1011.30/1014.18 c #Conflicts: 500000 | #Constraints: 26077
1011.30/1014.18 c #Conflicts: 501000 | #Constraints: 27077
1011.30/1014.18 c #Conflicts: 502000 | #Constraints: 28077
1011.30/1014.18 c INPROCESSING
1011.30/1014.18 c GARBAGE COLLECT
1011.30/1014.18 c #Conflicts: 503000 | #Constraints: 15079
1011.30/1014.18 c #Conflicts: 504000 | #Constraints: 16079
1011.30/1014.18 c #Conflicts: 505000 | #Constraints: 17079
1011.30/1014.18 c #Conflicts: 506000 | #Constraints: 18079
1011.30/1014.18 c #Conflicts: 507000 | #Constraints: 19079
1011.30/1014.18 c #Conflicts: 508000 | #Constraints: 20079
1011.30/1014.18 c #Conflicts: 509000 | #Constraints: 21079
1011.30/1014.18 c #Conflicts: 510000 | #Constraints: 22079
1011.30/1014.18 c #Conflicts: 511000 | #Constraints: 23079
1312.34/1316.03 c #Conflicts: 512000 | #Constraints: 24079
1312.34/1316.03 c #Conflicts: 513000 | #Constraints: 25079
1312.34/1316.03 c #Conflicts: 514000 | #Constraints: 26079
1312.34/1316.03 c #Conflicts: 515000 | #Constraints: 27079
1312.34/1316.03 c #Conflicts: 516000 | #Constraints: 28079
1312.34/1316.03 c INPROCESSING
1312.34/1316.03 c GARBAGE COLLECT
1312.34/1316.03 c #Conflicts: 517000 | #Constraints: 14872
1312.34/1316.03 c #Conflicts: 518000 | #Constraints: 15872
1312.34/1316.03 c #Conflicts: 519000 | #Constraints: 16872
1312.34/1316.03 c #Conflicts: 520000 | #Constraints: 17872
1312.34/1316.03 c #Conflicts: 521000 | #Constraints: 18872
1312.34/1316.03 c #Conflicts: 522000 | #Constraints: 19872
1312.34/1316.03 c #Conflicts: 523000 | #Constraints: 20872
1312.34/1316.03 c #Conflicts: 524000 | #Constraints: 21872
1312.34/1316.03 c #Conflicts: 525000 | #Constraints: 22872
1312.34/1316.03 c #Conflicts: 526000 | #Constraints: 23872
1312.34/1316.03 c #Conflicts: 527000 | #Constraints: 24872
1312.34/1316.03 c #Conflicts: 528000 | #Constraints: 25872
1312.34/1316.03 c #Conflicts: 529000 | #Constraints: 26872
1312.34/1316.03 c #Conflicts: 530000 | #Constraints: 27872
1312.34/1316.03 c #Conflicts: 531000 | #Constraints: 28872
1312.34/1316.03 c INPROCESSING
1312.34/1316.03 c GARBAGE COLLECT
1312.34/1316.03 c #Conflicts: 532000 | #Constraints: 15477
1312.34/1316.03 c #Conflicts: 533000 | #Constraints: 16477
1312.34/1316.03 c #Conflicts: 534000 | #Constraints: 17477
1312.34/1316.03 c #Conflicts: 535000 | #Constraints: 18477
1312.34/1316.03 c #Conflicts: 536000 | #Constraints: 19477
1312.34/1316.03 c #Conflicts: 537000 | #Constraints: 20477
1312.34/1316.03 c #Conflicts: 538000 | #Constraints: 21477
1312.34/1316.03 c #Conflicts: 539000 | #Constraints: 22477
1312.34/1316.03 c #Conflicts: 540000 | #Constraints: 23477
1312.34/1316.03 c #Conflicts: 541000 | #Constraints: 24477
1312.34/1316.03 c #Conflicts: 542000 | #Constraints: 25477
1312.34/1316.03 c #Conflicts: 543000 | #Constraints: 26477
1312.34/1316.03 c #Conflicts: 544000 | #Constraints: 27477
1312.34/1316.03 c #Conflicts: 545000 | #Constraints: 28477
1312.34/1316.03 c #Conflicts: 546000 | #Constraints: 29477
1312.34/1316.03 c INPROCESSING
1312.34/1316.03 c GARBAGE COLLECT
1312.34/1316.03 c #Conflicts: 547000 | #Constraints: 15874
1312.34/1316.03 c #Conflicts: 548000 | #Constraints: 16874
1312.34/1316.03 c #Conflicts: 549000 | #Constraints: 17874
1312.34/1316.03 c #Conflicts: 550000 | #Constraints: 18874
1312.34/1316.03 c #Conflicts: 551000 | #Constraints: 19874
1312.34/1316.03 c #Conflicts: 552000 | #Constraints: 20874
1312.34/1316.03 c #Conflicts: 553000 | #Constraints: 21874
1312.34/1316.03 c #Conflicts: 554000 | #Constraints: 22874
1312.34/1316.03 c #Conflicts: 555000 | #Constraints: 23874
1312.34/1316.03 c #Conflicts: 556000 | #Constraints: 24874
1312.34/1316.03 c #Conflicts: 557000 | #Constraints: 25874
1312.34/1316.03 c #Conflicts: 558000 | #Constraints: 26874
1312.34/1316.03 c #Conflicts: 559000 | #Constraints: 27874
1312.34/1316.03 c #Conflicts: 560000 | #Constraints: 28874
1312.34/1316.03 c #Conflicts: 561000 | #Constraints: 29874
1312.34/1316.03 c INPROCESSING
1312.34/1316.03 c GARBAGE COLLECT
1312.34/1316.03 c #Conflicts: 562000 | #Constraints: 16071
1312.34/1316.03 c #Conflicts: 563000 | #Constraints: 17071
1312.34/1316.03 c #Conflicts: 564000 | #Constraints: 18071
1312.34/1316.03 c #Conflicts: 565000 | #Constraints: 19071
1312.34/1316.03 c #Conflicts: 566000 | #Constraints: 20071
1312.34/1316.03 c #Conflicts: 567000 | #Constraints: 21071
1312.34/1316.03 c #Conflicts: 568000 | #Constraints: 22071
1312.34/1316.03 c #Conflicts: 569000 | #Constraints: 23071
1312.34/1316.03 c #Conflicts: 570000 | #Constraints: 24071
1312.34/1316.03 c #Conflicts: 571000 | #Constraints: 25071
1312.34/1316.03 c #Conflicts: 572000 | #Constraints: 26071
1312.34/1316.03 c #Conflicts: 573000 | #Constraints: 27071
1312.34/1316.03 c #Conflicts: 574000 | #Constraints: 28071
1312.34/1316.03 c #Conflicts: 575000 | #Constraints: 29071
1312.34/1316.03 c #Conflicts: 576000 | #Constraints: 30071
1312.34/1316.03 c INPROCESSING
1312.34/1316.03 c GARBAGE COLLECT
1312.34/1316.03 c #Conflicts: 577000 | #Constraints: 16068
1312.34/1316.03 c #Conflicts: 578000 | #Constraints: 17068
1312.34/1316.03 c #Conflicts: 579000 | #Constraints: 18068
1312.34/1316.03 c #Conflicts: 580000 | #Constraints: 19068
1312.34/1316.03 c #Conflicts: 581000 | #Constraints: 20068
1312.34/1316.03 c #Conflicts: 582000 | #Constraints: 21068
1312.34/1316.03 c #Conflicts: 583000 | #Constraints: 22068
1312.34/1316.03 c #Conflicts: 584000 | #Constraints: 23068
1312.34/1316.03 c #Conflicts: 585000 | #Constraints: 24068
1312.34/1316.03 c #Conflicts: 586000 | #Constraints: 25068
1655.26/1659.98 c #Conflicts: 587000 | #Constraints: 26068
1655.26/1659.98 c #Conflicts: 588000 | #Constraints: 27068
1655.26/1659.98 c #Conflicts: 589000 | #Constraints: 28068
1655.26/1659.98 c #Conflicts: 590000 | #Constraints: 29068
1655.26/1659.98 c #Conflicts: 591000 | #Constraints: 30068
1655.26/1659.98 c INPROCESSING
1655.26/1659.98 c GARBAGE COLLECT
1655.26/1659.98 c #Conflicts: 592000 | #Constraints: 15871
1655.26/1659.98 c #Conflicts: 593000 | #Constraints: 16871
1655.26/1659.98 c #Conflicts: 594000 | #Constraints: 17871
1655.26/1659.98 c #Conflicts: 595000 | #Constraints: 18871
1655.26/1659.98 c #Conflicts: 596000 | #Constraints: 19871
1655.26/1659.98 c #Conflicts: 597000 | #Constraints: 20871
1655.26/1659.98 c #Conflicts: 598000 | #Constraints: 21871
1655.26/1659.98 c #Conflicts: 599000 | #Constraints: 22871
1655.26/1659.98 c #Conflicts: 600000 | #Constraints: 23871
1655.26/1659.98 c #Conflicts: 601000 | #Constraints: 24871
1655.26/1659.98 c #Conflicts: 602000 | #Constraints: 25871
1655.26/1659.98 c #Conflicts: 603000 | #Constraints: 26871
1655.26/1659.98 c #Conflicts: 604000 | #Constraints: 27871
1655.26/1659.98 c #Conflicts: 605000 | #Constraints: 28871
1655.26/1659.98 c #Conflicts: 606000 | #Constraints: 29871
1655.26/1659.98 c #Conflicts: 607000 | #Constraints: 30871
1655.26/1659.98 c INPROCESSING
1655.26/1659.98 c GARBAGE COLLECT
1655.26/1659.98 c #Conflicts: 608000 | #Constraints: 16472
1655.26/1659.98 c #Conflicts: 609000 | #Constraints: 17472
1655.26/1659.98 c #Conflicts: 610000 | #Constraints: 18472
1655.26/1659.98 c #Conflicts: 611000 | #Constraints: 19472
1655.26/1659.98 c #Conflicts: 612000 | #Constraints: 20472
1655.26/1659.98 c #Conflicts: 613000 | #Constraints: 21472
1655.26/1659.98 c #Conflicts: 614000 | #Constraints: 22472
1655.26/1659.98 c #Conflicts: 615000 | #Constraints: 23472
1655.26/1659.98 c #Conflicts: 616000 | #Constraints: 24472
1655.26/1659.98 c #Conflicts: 617000 | #Constraints: 25472
1655.26/1659.98 c #Conflicts: 618000 | #Constraints: 26472
1655.26/1659.98 c #Conflicts: 619000 | #Constraints: 27472
1655.26/1659.98 c #Conflicts: 620000 | #Constraints: 28472
1655.26/1659.98 c #Conflicts: 621000 | #Constraints: 29472
1655.26/1659.98 c #Conflicts: 622000 | #Constraints: 30472
1655.26/1659.98 c #Conflicts: 623000 | #Constraints: 31472
1655.26/1659.98 c INPROCESSING
1655.26/1659.98 c GARBAGE COLLECT
1655.26/1659.98 c #Conflicts: 624000 | #Constraints: 16871
1655.26/1659.98 c #Conflicts: 625000 | #Constraints: 17871
1655.26/1659.98 c #Conflicts: 626000 | #Constraints: 18871
1655.26/1659.98 c #Conflicts: 627000 | #Constraints: 19871
1655.26/1659.98 c #Conflicts: 628000 | #Constraints: 20871
1655.26/1659.98 c #Conflicts: 629000 | #Constraints: 21871
1655.26/1659.98 c #Conflicts: 630000 | #Constraints: 22871
1655.26/1659.98 c #Conflicts: 631000 | #Constraints: 23871
1655.26/1659.98 c #Conflicts: 632000 | #Constraints: 24871
1655.26/1659.98 c #Conflicts: 633000 | #Constraints: 25871
1655.26/1659.98 c #Conflicts: 634000 | #Constraints: 26871
1655.26/1659.98 c #Conflicts: 635000 | #Constraints: 27871
1655.26/1659.98 c #Conflicts: 636000 | #Constraints: 28871
1655.26/1659.98 c #Conflicts: 637000 | #Constraints: 29871
1655.26/1659.98 c #Conflicts: 638000 | #Constraints: 30871
1655.26/1659.98 c #Conflicts: 639000 | #Constraints: 31871
1655.26/1659.98 c INPROCESSING
1655.26/1659.98 c GARBAGE COLLECT
1655.26/1659.98 c #Conflicts: 640000 | #Constraints: 17076
1655.26/1659.98 c #Conflicts: 641000 | #Constraints: 18076
1655.26/1659.98 c #Conflicts: 642000 | #Constraints: 19076
1655.26/1659.98 c #Conflicts: 643000 | #Constraints: 20076
1655.26/1659.98 c #Conflicts: 644000 | #Constraints: 21076
1655.26/1659.98 c #Conflicts: 645000 | #Constraints: 22076
1655.26/1659.98 c #Conflicts: 646000 | #Constraints: 23076
1655.26/1659.98 c #Conflicts: 647000 | #Constraints: 24076
1655.26/1659.98 c #Conflicts: 648000 | #Constraints: 25076
1655.26/1659.98 c #Conflicts: 649000 | #Constraints: 26076
1655.26/1659.98 c #Conflicts: 650000 | #Constraints: 27076
1655.26/1659.98 c #Conflicts: 651000 | #Constraints: 28076
1655.26/1659.98 c #Conflicts: 652000 | #Constraints: 29076
1655.26/1659.98 c #Conflicts: 653000 | #Constraints: 30076
1655.26/1659.98 c #Conflicts: 654000 | #Constraints: 31076
1655.26/1659.98 c #Conflicts: 655000 | #Constraints: 32076
1655.26/1659.98 c INPROCESSING
1655.26/1659.98 c GARBAGE COLLECT
1655.26/1659.98 c #Conflicts: 656000 | #Constraints: 17079
1655.26/1659.98 c #Conflicts: 657000 | #Constraints: 18079
1655.26/1659.98 c #Conflicts: 658000 | #Constraints: 19079
1655.26/1659.98 c #Conflicts: 659000 | #Constraints: 20079
1655.26/1659.98 c #Conflicts: 660000 | #Constraints: 21079
1655.26/1659.98 c #Conflicts: 661000 | #Constraints: 22079
1655.26/1659.98 c #Conflicts: 662000 | #Constraints: 23079
1972.85/1978.37 c #Conflicts: 663000 | #Constraints: 24079
1972.85/1978.37 c #Conflicts: 664000 | #Constraints: 25079
1972.85/1978.37 c #Conflicts: 665000 | #Constraints: 26079
1972.85/1978.37 c #Conflicts: 666000 | #Constraints: 27079
1972.85/1978.37 c #Conflicts: 667000 | #Constraints: 28079
1972.85/1978.37 c #Conflicts: 668000 | #Constraints: 29079
1972.85/1978.37 c #Conflicts: 669000 | #Constraints: 30079
1972.85/1978.37 c #Conflicts: 670000 | #Constraints: 31079
1972.85/1978.37 c #Conflicts: 671000 | #Constraints: 32079
1972.85/1978.37 c INPROCESSING
1972.85/1978.37 c GARBAGE COLLECT
1972.85/1978.37 c #Conflicts: 672000 | #Constraints: 16874
1972.85/1978.37 c #Conflicts: 673000 | #Constraints: 17874
1972.85/1978.37 c #Conflicts: 674000 | #Constraints: 18874
1972.85/1978.37 c #Conflicts: 675000 | #Constraints: 19874
1972.85/1978.37 c #Conflicts: 676000 | #Constraints: 20874
1972.85/1978.37 c #Conflicts: 677000 | #Constraints: 21874
1972.85/1978.37 c #Conflicts: 678000 | #Constraints: 22874
1972.85/1978.37 c #Conflicts: 679000 | #Constraints: 23874
1972.85/1978.37 c #Conflicts: 680000 | #Constraints: 24874
1972.85/1978.37 c #Conflicts: 681000 | #Constraints: 25874
1972.85/1978.37 c #Conflicts: 682000 | #Constraints: 26874
1972.85/1978.37 c #Conflicts: 683000 | #Constraints: 27874
1972.85/1978.37 c #Conflicts: 684000 | #Constraints: 28874
1972.85/1978.37 c #Conflicts: 685000 | #Constraints: 29874
1972.85/1978.37 c #Conflicts: 686000 | #Constraints: 30874
1972.85/1978.37 c #Conflicts: 687000 | #Constraints: 31874
1972.85/1978.37 c #Conflicts: 688000 | #Constraints: 32874
1972.85/1978.37 c INPROCESSING
1972.85/1978.37 c GARBAGE COLLECT
1972.85/1978.37 c #Conflicts: 689000 | #Constraints: 17471
1972.85/1978.37 c #Conflicts: 690000 | #Constraints: 18471
1972.85/1978.37 c #Conflicts: 691000 | #Constraints: 19471
1972.85/1978.37 c #Conflicts: 692000 | #Constraints: 20471
1972.85/1978.37 c #Conflicts: 693000 | #Constraints: 21471
1972.85/1978.37 c #Conflicts: 694000 | #Constraints: 22471
1972.85/1978.37 c #Conflicts: 695000 | #Constraints: 23471
1972.85/1978.37 c #Conflicts: 696000 | #Constraints: 24471
1972.85/1978.37 c #Conflicts: 697000 | #Constraints: 25471
1972.85/1978.37 c #Conflicts: 698000 | #Constraints: 26471
1972.85/1978.37 c #Conflicts: 699000 | #Constraints: 27471
1972.85/1978.37 c #Conflicts: 700000 | #Constraints: 28471
1972.85/1978.37 c #Conflicts: 701000 | #Constraints: 29471
1972.85/1978.37 c #Conflicts: 702000 | #Constraints: 30471
1972.85/1978.37 c #Conflicts: 703000 | #Constraints: 31471
1972.85/1978.37 c #Conflicts: 704000 | #Constraints: 32471
1972.85/1978.37 c #Conflicts: 705000 | #Constraints: 33471
1972.85/1978.37 c INPROCESSING
1972.85/1978.37 c GARBAGE COLLECT
1972.85/1978.37 c #Conflicts: 706000 | #Constraints: 17874
1972.85/1978.37 c #Conflicts: 707000 | #Constraints: 18874
1972.85/1978.37 c #Conflicts: 708000 | #Constraints: 19874
1972.85/1978.37 c #Conflicts: 709000 | #Constraints: 20874
1972.85/1978.37 c #Conflicts: 710000 | #Constraints: 21874
1972.85/1978.37 c #Conflicts: 711000 | #Constraints: 22874
1972.85/1978.37 c #Conflicts: 712000 | #Constraints: 23874
1972.85/1978.37 c #Conflicts: 713000 | #Constraints: 24874
1972.85/1978.37 c #Conflicts: 714000 | #Constraints: 25874
1972.85/1978.37 c #Conflicts: 715000 | #Constraints: 26874
1972.85/1978.37 c #Conflicts: 716000 | #Constraints: 27874
1972.85/1978.37 c #Conflicts: 717000 | #Constraints: 28874
1972.85/1978.37 c #Conflicts: 718000 | #Constraints: 29874
1972.85/1978.37 c #Conflicts: 719000 | #Constraints: 30874
1972.85/1978.37 c #Conflicts: 720000 | #Constraints: 31874
1972.85/1978.37 c #Conflicts: 721000 | #Constraints: 32874
1972.85/1978.37 c #Conflicts: 722000 | #Constraints: 33874
1972.85/1978.37 c INPROCESSING
1972.85/1978.37 c GARBAGE COLLECT
1972.85/1978.37 c #Conflicts: 723000 | #Constraints: 18072
1972.85/1978.37 c #Conflicts: 724000 | #Constraints: 19072
1972.85/1978.37 c #Conflicts: 725000 | #Constraints: 20072
1972.85/1978.37 c #Conflicts: 726000 | #Constraints: 21072
1972.85/1978.37 c #Conflicts: 727000 | #Constraints: 22072
1972.85/1978.37 c #Conflicts: 728000 | #Constraints: 23072
1972.85/1978.37 c #Conflicts: 729000 | #Constraints: 24072
1972.85/1978.37 c #Conflicts: 730000 | #Constraints: 25072
1972.85/1978.37 c #Conflicts: 731000 | #Constraints: 26072
1972.85/1978.37 c #Conflicts: 732000 | #Constraints: 27072
1972.85/1978.37 c #Conflicts: 733000 | #Constraints: 28072
1972.85/1978.37 c #Conflicts: 734000 | #Constraints: 29072
1972.85/1978.37 c #Conflicts: 735000 | #Constraints: 30072
1972.85/1978.37 c #Conflicts: 736000 | #Constraints: 31072
1972.85/1978.37 c #Conflicts: 737000 | #Constraints: 32072
1972.85/1978.37 c #Conflicts: 738000 | #Constraints: 33072
2333.75/2340.11 c #Conflicts: 739000 | #Constraints: 34072
2333.75/2340.11 c INPROCESSING
2333.75/2340.11 c GARBAGE COLLECT
2333.75/2340.11 c #Conflicts: 740000 | #Constraints: 18071
2333.75/2340.11 c #Conflicts: 741000 | #Constraints: 19071
2333.75/2340.11 c #Conflicts: 742000 | #Constraints: 20071
2333.75/2340.11 c #Conflicts: 743000 | #Constraints: 21071
2333.75/2340.11 c #Conflicts: 744000 | #Constraints: 22071
2333.75/2340.11 c #Conflicts: 745000 | #Constraints: 23071
2333.75/2340.11 c #Conflicts: 746000 | #Constraints: 24071
2333.75/2340.11 c #Conflicts: 747000 | #Constraints: 25071
2333.75/2340.11 c #Conflicts: 748000 | #Constraints: 26071
2333.75/2340.11 c #Conflicts: 749000 | #Constraints: 27071
2333.75/2340.11 c #Conflicts: 750000 | #Constraints: 28071
2333.75/2340.11 c #Conflicts: 751000 | #Constraints: 29071
2333.75/2340.11 c #Conflicts: 752000 | #Constraints: 30071
2333.75/2340.11 c #Conflicts: 753000 | #Constraints: 31071
2333.75/2340.11 c #Conflicts: 754000 | #Constraints: 32071
2333.75/2340.11 c #Conflicts: 755000 | #Constraints: 33071
2333.75/2340.11 c #Conflicts: 756000 | #Constraints: 34071
2333.75/2340.11 c INPROCESSING
2333.75/2340.11 c GARBAGE COLLECT
2333.75/2340.11 c #Conflicts: 757000 | #Constraints: 17871
2333.75/2340.11 c #Conflicts: 758000 | #Constraints: 18871
2333.75/2340.11 c #Conflicts: 759000 | #Constraints: 19871
2333.75/2340.11 c #Conflicts: 760000 | #Constraints: 20871
2333.75/2340.11 c #Conflicts: 761000 | #Constraints: 21871
2333.75/2340.11 c #Conflicts: 762000 | #Constraints: 22871
2333.75/2340.11 c #Conflicts: 763000 | #Constraints: 23871
2333.75/2340.11 c #Conflicts: 764000 | #Constraints: 24871
2333.75/2340.11 c #Conflicts: 765000 | #Constraints: 25871
2333.75/2340.11 c #Conflicts: 766000 | #Constraints: 26871
2333.75/2340.11 c #Conflicts: 767000 | #Constraints: 27871
2333.75/2340.11 c #Conflicts: 768000 | #Constraints: 28871
2333.75/2340.11 c #Conflicts: 769000 | #Constraints: 29871
2333.75/2340.11 c #Conflicts: 770000 | #Constraints: 30871
2333.75/2340.11 c #Conflicts: 771000 | #Constraints: 31871
2333.75/2340.11 c #Conflicts: 772000 | #Constraints: 32871
2333.75/2340.11 c #Conflicts: 773000 | #Constraints: 33871
2333.75/2340.11 c #Conflicts: 774000 | #Constraints: 34871
2333.75/2340.11 c INPROCESSING
2333.75/2340.11 c GARBAGE COLLECT
2333.75/2340.11 c #Conflicts: 775000 | #Constraints: 18477
2333.75/2340.11 c #Conflicts: 776000 | #Constraints: 19477
2333.75/2340.11 c #Conflicts: 777000 | #Constraints: 20477
2333.75/2340.11 c #Conflicts: 778000 | #Constraints: 21477
2333.75/2340.11 c #Conflicts: 779000 | #Constraints: 22477
2333.75/2340.11 c #Conflicts: 780000 | #Constraints: 23477
2333.75/2340.11 c #Conflicts: 781000 | #Constraints: 24477
2333.75/2340.11 c #Conflicts: 782000 | #Constraints: 25477
2333.75/2340.11 c #Conflicts: 783000 | #Constraints: 26477
2333.75/2340.11 c #Conflicts: 784000 | #Constraints: 27477
2333.75/2340.11 c #Conflicts: 785000 | #Constraints: 28477
2333.75/2340.11 c #Conflicts: 786000 | #Constraints: 29477
2333.75/2340.11 c #Conflicts: 787000 | #Constraints: 30477
2333.75/2340.11 c #Conflicts: 788000 | #Constraints: 31477
2333.75/2340.11 c #Conflicts: 789000 | #Constraints: 32477
2333.75/2340.11 c #Conflicts: 790000 | #Constraints: 33477
2333.75/2340.11 c #Conflicts: 791000 | #Constraints: 34477
2333.75/2340.11 c #Conflicts: 792000 | #Constraints: 35477
2333.75/2340.11 c INPROCESSING
2333.75/2340.11 c GARBAGE COLLECT
2333.75/2340.11 c #Conflicts: 793000 | #Constraints: 18876
2333.75/2340.11 c #Conflicts: 794000 | #Constraints: 19876
2333.75/2340.11 c #Conflicts: 795000 | #Constraints: 20876
2333.75/2340.11 c #Conflicts: 796000 | #Constraints: 21876
2333.75/2340.11 c #Conflicts: 797000 | #Constraints: 22876
2333.75/2340.11 c #Conflicts: 798000 | #Constraints: 23876
2333.75/2340.11 c #Conflicts: 799000 | #Constraints: 24876
2333.75/2340.11 c #Conflicts: 800000 | #Constraints: 25876
2333.75/2340.11 c #Conflicts: 801000 | #Constraints: 26876
2333.75/2340.11 c #Conflicts: 802000 | #Constraints: 27876
2333.75/2340.11 c #Conflicts: 803000 | #Constraints: 28876
2333.75/2340.11 c #Conflicts: 804000 | #Constraints: 29876
2333.75/2340.11 c #Conflicts: 805000 | #Constraints: 30876
2333.75/2340.11 c #Conflicts: 806000 | #Constraints: 31876
2333.75/2340.11 c #Conflicts: 807000 | #Constraints: 32876
2333.75/2340.11 c #Conflicts: 808000 | #Constraints: 33876
2333.75/2340.11 c #Conflicts: 809000 | #Constraints: 34876
2333.75/2340.11 c #Conflicts: 810000 | #Constraints: 35876
2333.75/2340.11 c INPROCESSING
2333.75/2340.11 c GARBAGE COLLECT
2333.75/2340.11 c #Conflicts: 811000 | #Constraints: 19070
2333.75/2340.11 c #Conflicts: 812000 | #Constraints: 20070
2333.75/2340.11 c #Conflicts: 813000 | #Constraints: 21070
2333.75/2340.11 c #Conflicts: 814000 | #Constraints: 22070
2748.92/2756.22 c #Conflicts: 815000 | #Constraints: 23070
2748.92/2756.22 c #Conflicts: 816000 | #Constraints: 24070
2748.92/2756.22 c #Conflicts: 817000 | #Constraints: 25070
2748.92/2756.22 c #Conflicts: 818000 | #Constraints: 26070
2748.92/2756.22 c #Conflicts: 819000 | #Constraints: 27070
2748.92/2756.22 c #Conflicts: 820000 | #Constraints: 28070
2748.92/2756.22 c #Conflicts: 821000 | #Constraints: 29070
2748.92/2756.22 c #Conflicts: 822000 | #Constraints: 30070
2748.92/2756.22 c #Conflicts: 823000 | #Constraints: 31070
2748.92/2756.22 c #Conflicts: 824000 | #Constraints: 32070
2748.92/2756.22 c #Conflicts: 825000 | #Constraints: 33070
2748.92/2756.22 c #Conflicts: 826000 | #Constraints: 34070
2748.92/2756.22 c #Conflicts: 827000 | #Constraints: 35070
2748.92/2756.22 c #Conflicts: 828000 | #Constraints: 36070
2748.92/2756.22 c INPROCESSING
2748.92/2756.22 c GARBAGE COLLECT
2748.92/2756.22 c #Conflicts: 829000 | #Constraints: 19073
2748.92/2756.22 c #Conflicts: 830000 | #Constraints: 20073
2748.92/2756.22 c #Conflicts: 831000 | #Constraints: 21073
2748.92/2756.22 c #Conflicts: 832000 | #Constraints: 22073
2748.92/2756.22 c #Conflicts: 833000 | #Constraints: 23073
2748.92/2756.22 c #Conflicts: 834000 | #Constraints: 24073
2748.92/2756.22 c #Conflicts: 835000 | #Constraints: 25073
2748.92/2756.22 c #Conflicts: 836000 | #Constraints: 26073
2748.92/2756.22 c #Conflicts: 837000 | #Constraints: 27073
2748.92/2756.22 c #Conflicts: 838000 | #Constraints: 28073
2748.92/2756.22 c #Conflicts: 839000 | #Constraints: 29073
2748.92/2756.22 c #Conflicts: 840000 | #Constraints: 30073
2748.92/2756.22 c #Conflicts: 841000 | #Constraints: 31073
2748.92/2756.22 c #Conflicts: 842000 | #Constraints: 32073
2748.92/2756.22 c #Conflicts: 843000 | #Constraints: 33073
2748.92/2756.22 c #Conflicts: 844000 | #Constraints: 34073
2748.92/2756.22 c #Conflicts: 845000 | #Constraints: 35073
2748.92/2756.22 c #Conflicts: 846000 | #Constraints: 36073
2748.92/2756.22 c INPROCESSING
2748.92/2756.22 c GARBAGE COLLECT
2748.92/2756.22 c #Conflicts: 847000 | #Constraints: 18877
2748.92/2756.22 c #Conflicts: 848000 | #Constraints: 19877
2748.92/2756.22 c #Conflicts: 849000 | #Constraints: 20877
2748.92/2756.22 c #Conflicts: 850000 | #Constraints: 21877
2748.92/2756.22 c #Conflicts: 851000 | #Constraints: 22877
2748.92/2756.22 c #Conflicts: 852000 | #Constraints: 23877
2748.92/2756.22 c #Conflicts: 853000 | #Constraints: 24877
2748.92/2756.22 c #Conflicts: 854000 | #Constraints: 25877
2748.92/2756.22 c #Conflicts: 855000 | #Constraints: 26877
2748.92/2756.22 c #Conflicts: 856000 | #Constraints: 27877
2748.92/2756.22 c #Conflicts: 857000 | #Constraints: 28877
2748.92/2756.22 c #Conflicts: 858000 | #Constraints: 29877
2748.92/2756.22 c #Conflicts: 859000 | #Constraints: 30877
2748.92/2756.22 c #Conflicts: 860000 | #Constraints: 31877
2748.92/2756.22 c #Conflicts: 861000 | #Constraints: 32877
2748.92/2756.22 c #Conflicts: 862000 | #Constraints: 33877
2748.92/2756.22 c #Conflicts: 863000 | #Constraints: 34877
2748.92/2756.22 c #Conflicts: 864000 | #Constraints: 35877
2748.92/2756.22 c #Conflicts: 865000 | #Constraints: 36877
2748.92/2756.22 c INPROCESSING
2748.92/2756.22 c GARBAGE COLLECT
2748.92/2756.22 c #Conflicts: 866000 | #Constraints: 19476
2748.92/2756.22 c #Conflicts: 867000 | #Constraints: 20476
2748.92/2756.22 c #Conflicts: 868000 | #Constraints: 21476
2748.92/2756.22 c #Conflicts: 869000 | #Constraints: 22476
2748.92/2756.22 c #Conflicts: 870000 | #Constraints: 23476
2748.92/2756.22 c #Conflicts: 871000 | #Constraints: 24476
2748.92/2756.22 c #Conflicts: 872000 | #Constraints: 25476
2748.92/2756.22 c #Conflicts: 873000 | #Constraints: 26476
2748.92/2756.22 c #Conflicts: 874000 | #Constraints: 27476
2748.92/2756.22 c #Conflicts: 875000 | #Constraints: 28476
2748.92/2756.22 c #Conflicts: 876000 | #Constraints: 29476
2748.92/2756.22 c #Conflicts: 877000 | #Constraints: 30476
2748.92/2756.22 c #Conflicts: 878000 | #Constraints: 31476
2748.92/2756.22 c #Conflicts: 879000 | #Constraints: 32476
2748.92/2756.22 c #Conflicts: 880000 | #Constraints: 33476
2748.92/2756.22 c #Conflicts: 881000 | #Constraints: 34476
2748.92/2756.22 c #Conflicts: 882000 | #Constraints: 35476
2748.92/2756.22 c #Conflicts: 883000 | #Constraints: 36476
2748.92/2756.22 c #Conflicts: 884000 | #Constraints: 37476
2748.92/2756.22 c INPROCESSING
2748.92/2756.22 c GARBAGE COLLECT
2748.92/2756.22 c #Conflicts: 885000 | #Constraints: 19877
2748.92/2756.22 c #Conflicts: 886000 | #Constraints: 20877
2748.92/2756.22 c #Conflicts: 887000 | #Constraints: 21877
2748.92/2756.22 c #Conflicts: 888000 | #Constraints: 22877
2748.92/2756.22 c #Conflicts: 889000 | #Constraints: 23877
2748.92/2756.22 c #Conflicts: 890000 | #Constraints: 24877
3243.32/3251.75 c #Conflicts: 891000 | #Constraints: 25877
3243.32/3251.75 c #Conflicts: 892000 | #Constraints: 26877
3243.32/3251.75 c #Conflicts: 893000 | #Constraints: 27877
3243.32/3251.75 c #Conflicts: 894000 | #Constraints: 28877
3243.32/3251.75 c #Conflicts: 895000 | #Constraints: 29877
3243.32/3251.75 c #Conflicts: 896000 | #Constraints: 30877
3243.32/3251.75 c #Conflicts: 897000 | #Constraints: 31877
3243.32/3251.75 c #Conflicts: 898000 | #Constraints: 32877
3243.32/3251.75 c #Conflicts: 899000 | #Constraints: 33877
3243.32/3251.75 c #Conflicts: 900000 | #Constraints: 34877
3243.32/3251.75 c #Conflicts: 901000 | #Constraints: 35877
3243.32/3251.75 c #Conflicts: 902000 | #Constraints: 36877
3243.32/3251.75 c #Conflicts: 903000 | #Constraints: 37877
3243.32/3251.75 c INPROCESSING
3243.32/3251.75 c GARBAGE COLLECT
3243.32/3251.75 c #Conflicts: 904000 | #Constraints: 20075
3243.32/3251.75 c #Conflicts: 905000 | #Constraints: 21075
3243.32/3251.75 c #Conflicts: 906000 | #Constraints: 22075
3243.32/3251.75 c #Conflicts: 907000 | #Constraints: 23075
3243.32/3251.75 c #Conflicts: 908000 | #Constraints: 24075
3243.32/3251.75 c #Conflicts: 909000 | #Constraints: 25075
3243.32/3251.75 c #Conflicts: 910000 | #Constraints: 26075
3243.32/3251.75 c #Conflicts: 911000 | #Constraints: 27075
3243.32/3251.75 c #Conflicts: 912000 | #Constraints: 28075
3243.32/3251.75 c #Conflicts: 913000 | #Constraints: 29075
3243.32/3251.75 c #Conflicts: 914000 | #Constraints: 30075
3243.32/3251.75 c #Conflicts: 915000 | #Constraints: 31075
3243.32/3251.75 c #Conflicts: 916000 | #Constraints: 32075
3243.32/3251.75 c #Conflicts: 917000 | #Constraints: 33075
3243.32/3251.75 c #Conflicts: 918000 | #Constraints: 34075
3243.32/3251.75 c #Conflicts: 919000 | #Constraints: 35075
3243.32/3251.75 c #Conflicts: 920000 | #Constraints: 36075
3243.32/3251.75 c #Conflicts: 921000 | #Constraints: 37075
3243.32/3251.75 c #Conflicts: 922000 | #Constraints: 38075
3243.32/3251.75 c INPROCESSING
3243.32/3251.75 c GARBAGE COLLECT
3243.32/3251.75 c #Conflicts: 923000 | #Constraints: 20075
3243.32/3251.75 c #Conflicts: 924000 | #Constraints: 21075
3243.32/3251.75 c #Conflicts: 925000 | #Constraints: 22075
3243.32/3251.75 c #Conflicts: 926000 | #Constraints: 23075
3243.32/3251.75 c #Conflicts: 927000 | #Constraints: 24075
3243.32/3251.75 c #Conflicts: 928000 | #Constraints: 25075
3243.32/3251.75 c #Conflicts: 929000 | #Constraints: 26075
3243.32/3251.75 c #Conflicts: 930000 | #Constraints: 27075
3243.32/3251.75 c #Conflicts: 931000 | #Constraints: 28075
3243.32/3251.75 c #Conflicts: 932000 | #Constraints: 29075
3243.32/3251.75 c #Conflicts: 933000 | #Constraints: 30075
3243.32/3251.75 c #Conflicts: 934000 | #Constraints: 31075
3243.32/3251.75 c #Conflicts: 935000 | #Constraints: 32075
3243.32/3251.75 c #Conflicts: 936000 | #Constraints: 33075
3243.32/3251.75 c #Conflicts: 937000 | #Constraints: 34075
3243.32/3251.75 c #Conflicts: 938000 | #Constraints: 35075
3243.32/3251.75 c #Conflicts: 939000 | #Constraints: 36075
3243.32/3251.75 c #Conflicts: 940000 | #Constraints: 37075
3243.32/3251.75 c #Conflicts: 941000 | #Constraints: 38075
3243.32/3251.75 c INPROCESSING
3243.32/3251.75 c GARBAGE COLLECT
3243.32/3251.75 c #Conflicts: 942000 | #Constraints: 19875
3243.32/3251.75 c #Conflicts: 943000 | #Constraints: 20875
3243.32/3251.75 c #Conflicts: 944000 | #Constraints: 21875
3243.32/3251.75 c #Conflicts: 945000 | #Constraints: 22875
3243.32/3251.75 c #Conflicts: 946000 | #Constraints: 23875
3243.32/3251.75 c #Conflicts: 947000 | #Constraints: 24875
3243.32/3251.75 c #Conflicts: 948000 | #Constraints: 25875
3243.32/3251.75 c #Conflicts: 949000 | #Constraints: 26875
3243.32/3251.75 c #Conflicts: 950000 | #Constraints: 27875
3243.32/3251.75 c #Conflicts: 951000 | #Constraints: 28875
3243.32/3251.75 c #Conflicts: 952000 | #Constraints: 29875
3243.32/3251.75 c #Conflicts: 953000 | #Constraints: 30875
3243.32/3251.75 c #Conflicts: 954000 | #Constraints: 31875
3243.32/3251.75 c #Conflicts: 955000 | #Constraints: 32875
3243.32/3251.75 c #Conflicts: 956000 | #Constraints: 33875
3243.32/3251.75 c #Conflicts: 957000 | #Constraints: 34875
3243.32/3251.75 c #Conflicts: 958000 | #Constraints: 35875
3243.32/3251.75 c #Conflicts: 959000 | #Constraints: 36875
3243.32/3251.75 c #Conflicts: 960000 | #Constraints: 37875
3243.32/3251.75 c #Conflicts: 961000 | #Constraints: 38875
3243.32/3251.75 c INPROCESSING
3243.32/3251.75 c GARBAGE COLLECT
3243.32/3251.75 c #Conflicts: 962000 | #Constraints: 20470
3243.32/3251.75 c #Conflicts: 963000 | #Constraints: 21470
3243.32/3251.75 c #Conflicts: 964000 | #Constraints: 22470
3243.32/3251.75 c #Conflicts: 965000 | #Constraints: 23470
3243.32/3251.75 c #Conflicts: 966000 | #Constraints: 24470
3600.00/3609.20 c #Conflicts: 967000 | #Constraints: 25470
3600.00/3609.20 c #Conflicts: 968000 | #Constraints: 26470
3600.00/3609.20 c #Conflicts: 969000 | #Constraints: 27470
3600.00/3609.20 c #Conflicts: 970000 | #Constraints: 28470
3600.00/3609.20 c #Conflicts: 971000 | #Constraints: 29470
3600.00/3609.20 c #Conflicts: 972000 | #Constraints: 30470
3600.00/3609.20 c #Conflicts: 973000 | #Constraints: 31470
3600.00/3609.20 c #Conflicts: 974000 | #Constraints: 32470
3600.00/3609.20 c #Conflicts: 975000 | #Constraints: 33470
3600.00/3609.20 c #Conflicts: 976000 | #Constraints: 34470
3600.00/3609.20 c #Conflicts: 977000 | #Constraints: 35470
3600.00/3609.20 c #Conflicts: 978000 | #Constraints: 36470
3600.00/3609.20 c #Conflicts: 979000 | #Constraints: 37470
3600.00/3609.20 c #Conflicts: 980000 | #Constraints: 38470
3600.00/3609.20 c #Conflicts: 981000 | #Constraints: 39470
3600.00/3609.20 c INPROCESSING
3600.00/3609.20 c GARBAGE COLLECT
3600.00/3609.20 c #Conflicts: 982000 | #Constraints: 20870
3600.00/3609.20 c #Conflicts: 983000 | #Constraints: 21870
3600.00/3609.20 c #Conflicts: 984000 | #Constraints: 22870
3600.00/3609.20 c #Conflicts: 985000 | #Constraints: 23870
3600.00/3609.20 c #Conflicts: 986000 | #Constraints: 24870
3600.00/3609.20 c #Conflicts: 987000 | #Constraints: 25870
3600.00/3609.20 c #Conflicts: 988000 | #Constraints: 26870
3600.00/3609.20 c #Conflicts: 989000 | #Constraints: 27870
3600.00/3609.20 c #Conflicts: 990000 | #Constraints: 28870
3600.00/3609.20 c #Conflicts: 991000 | #Constraints: 29870
3600.00/3609.20 c #Conflicts: 992000 | #Constraints: 30870
3600.00/3609.20 c #Conflicts: 993000 | #Constraints: 31870
3600.00/3609.20 c #Conflicts: 994000 | #Constraints: 32870
3600.00/3609.20 c #Conflicts: 995000 | #Constraints: 33870
3600.00/3609.20 c #Conflicts: 996000 | #Constraints: 34870
3600.00/3609.20 c #Conflicts: 997000 | #Constraints: 35870
3600.00/3609.20 c #Conflicts: 998000 | #Constraints: 36870
3600.00/3609.20 c #Conflicts: 999000 | #Constraints: 37870
3600.00/3609.20 c #Conflicts: 1000000 | #Constraints: 38870
3600.00/3609.20 c #Conflicts: 1001000 | #Constraints: 39870
3600.00/3609.20 c INPROCESSING
3600.00/3609.20 c GARBAGE COLLECT
3600.00/3609.20 c #Conflicts: 1002000 | #Constraints: 21070
3600.00/3609.20 c #Conflicts: 1003000 | #Constraints: 22070
3600.00/3609.20 c #Conflicts: 1004000 | #Constraints: 23070
3600.00/3609.20 c #Conflicts: 1005000 | #Constraints: 24070
3600.00/3609.20 c #Conflicts: 1006000 | #Constraints: 25070
3600.00/3609.20 c #Conflicts: 1007000 | #Constraints: 26070
3600.00/3609.20 c #Conflicts: 1008000 | #Constraints: 27070
3600.00/3609.20 c #Conflicts: 1009000 | #Constraints: 28070
3600.00/3609.20 c #Conflicts: 1010000 | #Constraints: 29070
3600.00/3609.20 c #Conflicts: 1011000 | #Constraints: 30070
3600.00/3609.20 c #Conflicts: 1012000 | #Constraints: 31070
3600.00/3609.20 c #Conflicts: 1013000 | #Constraints: 32070
3600.00/3609.20 c #Conflicts: 1014000 | #Constraints: 33070
3600.00/3609.20 c #Conflicts: 1015000 | #Constraints: 34070
3600.00/3609.20 c #Conflicts: 1016000 | #Constraints: 35070
3600.00/3609.20 c #Conflicts: 1017000 | #Constraints: 36070
3600.00/3609.20 c Program interrupted by user.
3600.00/3609.20 c cpu time 3587.92 s
3600.00/3609.20 c deterministic time 451598234507 4.52e+11
3600.00/3609.20 c optimization time 114.034 s
3600.00/3609.20 c total solve time 3473.89 s
3600.00/3609.20 c core-guided solve time 3473.89 s
3600.00/3609.20 c propagation time 3184.66 s
3600.00/3609.20 c conflict analysis time 379.925 s
3600.00/3609.20 c propagations 55726229
3600.00/3609.20 c resolve steps 9825282
3600.00/3609.20 c decisions 6301762
3600.00/3609.20 c conflicts 1017297
3600.00/3609.20 c restarts 2045
3600.00/3609.20 c inprocessing phases 91
3600.00/3609.20 c input clauses 29
3600.00/3609.20 c input cardinalities 205
3600.00/3609.20 c input general constraints 21
3600.00/3609.20 c input average constraint length 26.52
3600.00/3609.20 c input average constraint degree 10.35
3600.00/3609.20 c learned clauses 77546
3600.00/3609.20 c learned cardinalities 338
3600.00/3609.20 c learned general constraints 939414
3600.00/3609.20 c learned average constraint length 161.83
3600.00/3609.20 c learned average constraint degree 760391.85
3600.00/3609.20 c watched constraints 766171
3600.00/3609.20 c counting constraints 173264
3600.00/3609.20 c gcd simplifications 4091
3600.00/3609.20 c detected cardinalities 0
3600.00/3609.20 c weakened non-implied lits 20116758
3600.00/3609.20 c weakened non-implying lits 39458
3600.00/3609.20 c original variables 256
3600.00/3609.20 c clausal propagations 478982
3600.00/3609.20 c cardinality propagations 9782535
3600.00/3609.20 c watched propagations 4421440
3600.00/3609.20 c counting propagations 40664648
3600.00/3609.20 c watch lookups 71067658504
3600.00/3609.20 c watch backjump lookups 66993830958
3600.00/3609.20 c watch checks 194116049945
3600.00/3609.20 c propagation checks 118428633993
3600.00/3609.20 c constraint additions 866988111
3600.00/3609.20 c trail pops 63045004
3600.00/3609.20 c formula constraints 178
3600.00/3609.20 c learned constraints 1017298
3600.00/3609.20 c bound constraints 18
3600.00/3609.20 c core-guided constraints 59
3600.00/3609.20 c encountered formula constraints 1571210
3600.00/3609.20 c encountered learned constraints 8978452
3600.00/3609.20 c encountered bound constraints 27812
3600.00/3609.20 c encountered core-guided constraints 265105
3600.00/3609.20 c LP total time 0 s
3600.00/3609.20 c LP solve time 0 s
3600.00/3609.20 c LP constraints added 0
3600.00/3609.20 c LP constraints removed 0
3600.00/3609.20 c LP pivots internal 0
3600.00/3609.20 c LP pivots root 0
3600.00/3609.20 c LP calls 0
3600.00/3609.20 c LP optimalities 0
3600.00/3609.20 c LP no pivot count 0
3600.00/3609.20 c LP infeasibilities 0
3600.00/3609.20 c LP valid Farkas constraints 0
3600.00/3609.20 c LP learned Farkas constraints 0
3600.00/3609.20 c LP basis resets 0
3600.00/3609.20 c LP cycling count 0
3600.00/3609.20 c LP singular count 0
3600.00/3609.20 c LP no primal count 0
3600.00/3609.20 c LP no farkas count 0
3600.00/3609.20 c LP other issue count 0
3600.00/3609.20 c LP Gomory cuts 0
3600.00/3609.20 c LP learned cuts 0
3600.00/3609.20 c LP deleted cuts 0
3600.00/3609.20 c LP encountered Gomory constraints 0
3600.00/3609.20 c LP encountered Farkas constraints 0
3600.00/3609.20 c LP encountered learned Farkas constraints 0
3600.00/3609.20 c CG auxiliary variables introduced 30
3600.00/3609.20 c CG solutions found 1
3600.00/3609.20 c CG cores constructed 17
3600.00/3609.20 c CG core cardinality constraints returned 15
3600.00/3609.20 c CG unit cores 0
3600.00/3609.20 c CG single cores 16
3600.00/3609.20 c CG blocks removed during cardinality reduction 0
3600.00/3609.20 c CG first core best 0
3600.00/3609.20 c CG decision core best 0
3600.00/3609.20 c CG core reduction tie 1
3600.00/3609.20 c CG core degree average 5.76
3600.00/3609.20 c CG core slack average 6.94
3600.00/3609.20 c CG exhausted 0
3600.00/3609.20 c CG exhaust time 2.23634 s
3600.00/3609.20 c CG trimmed 0
3600.00/3609.20 c CG trim time 0.000221 s
3600.00/3609.20 c CG minimized 0
3600.00/3609.20 c CG minimize time 0 s
3600.00/3609.20 c CG am1 prop time 0.000807 s
3600.00/3609.20 c CG # am1s reformulated 8
3600.00/3609.20 c CG lower bound derived from am1s 14
3600.00/3609.20 c CG # clausal cores 0
3600.00/3609.20 c CG # cardinality cores 15
3600.00/3609.20 c CG # pb cores 3
3600.00/3609.20 c CG # pb reforms 0
3600.00/3609.20 c CG # cores discarded because of pb reform 0
3600.00/3609.20 d LOWERBOUND 122
3600.00/3609.20 d NCORES 17
3600.00/3609.20 d NPBCORES 3
3600.00/3609.20 d NPBREFORM 0
3600.00/3609.20 d NTRIMMED 0
3600.00/3609.20 d NEXHAUSTED 0
3600.00/3609.20 d NAM1S 8
3600.00/3609.20 d AM1LB 14
3600.00/3609.20 o 125
3600.00/3609.20 s SATISFIABLE
3600.00/3609.20 v -x1 -x2 x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 x14 -x15 -x16 x17 x18 x19 -x20 x21 x22 -x23 x24 x25 -x26 x27 x28 x29 x30 x31 -x32 -x33 x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 x43 x44 -x45 x46 x47 -x48 -x49 x50 x51 -x52 x53 x54 x55 x56 x57 x58 -x59 -x60 x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 x74 x75 x76 -x77 -x78 x79 x80 x81 -x82 x83 x84 x85 -x86 -x87 -x88 x89 x90 x91 -x92 x93 -x94 -x95 x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 x111 -x112 x113 x114 -x115 -x116 -x117 -x118 x119 -x120 x121 x122 x123 -x124 -x125 -x126 -x127 x128 x129 -x130 x131 x132 x133 x134 -x135 x136 x137 x138 -x139 x140 -x141 -x142 x143 x144 x145 x146 -x147 -x148 x149 x150 -x151 -x152 x153 x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 x163 -x164 -x165 x166 x167 x168 x169 x170 -x171 x172 x173 -x174 x175 -x176 -x177 -x178 x179 x180 -x181 -x182 -x183 x184 x185 x186 x187 x188 x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 x197 x198 -x199 -x200 x201 x202 x203 x204 -x205 -x206 x207 x208 -x209 -x210 -x211 x212 x213 -x214 -x215 -x216 -x217 x218 x219 -x220 -x221 -x222 x223 -x224 -x225 x226 -x227 -x228 x229 -x230 x231 x232 -x233 x234 x235 x236 -x237 x238 x239 x240 x241 -x242 x243 -x244 -x245 x246 -x247 -x248 -x249 x250 x251 -x252 x253 x254 -x255 -x256
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (53200 MiB free)
memory of node 1: 64510 MiB (55251 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454574-1721477719/watcher-4454574-1721477719 -o /tmp/evaluation-result-4454574-1721477719/solver-4454574-1721477719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077169 --watchdog 3760 pb-oll-rs HOME/instance-4454574-1721477719.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=1082290, runsolver pid=1082287
[startup+0.100819 s]*
/proc/loadavg: 4.20 4.22 4.18 5/259 1082291
/proc/meminfo: memFree=111051860/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=39708 memory=7692 CPUtime=0.09 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 705 0 0 0 9 0 0 0 20 0 1 0 199940151 40660992 1923 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 9927 1923 1409 291 0 1461 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39708 KiB
Current children cumulated memory: 7692 KiB
[startup+0.205734 s]*
/proc/loadavg: 4.20 4.22 4.18 5/259 1082291
/proc/meminfo: memFree=111050360/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=40244 memory=8748 CPUtime=0.2 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 959 0 0 0 19 1 0 0 20 0 1 0 199940151 41209856 2187 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 10061 2187 1409 291 0 1595 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40244 KiB
Current children cumulated memory: 8748 KiB
[startup+0.305554 s]*
/proc/loadavg: 4.20 4.22 4.18 5/259 1082291
/proc/meminfo: memFree=111050232/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=40380 memory=9208 CPUtime=0.3 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 1015 0 0 0 28 2 0 0 20 0 1 0 199940151 41349120 2302 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 10095 2302 1462 291 0 1629 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40380 KiB
Current children cumulated memory: 9208 KiB
[startup+0.700191 s]
/proc/loadavg: 4.20 4.22 4.18 5/259 1082291
/proc/meminfo: memFree=111044480/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=41052 memory=12312 CPUtime=0.68 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 1320 0 0 0 66 2 0 0 20 0 1 0 199940151 42037248 3078 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 10263 3078 1462 291 0 1797 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41052 KiB
Current children cumulated memory: 12312 KiB
[startup+1.50024 s]
/proc/loadavg: 4.20 4.22 4.18 5/259 1082291
/proc/meminfo: memFree=111043484/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=42276 memory=13632 CPUtime=1.48 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 1600 0 0 0 144 4 0 0 20 0 1 0 199940151 43290624 3408 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 10569 3408 1462 291 0 2103 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42276 KiB
Current children cumulated memory: 13632 KiB
[startup+3.10586 s]
/proc/loadavg: 4.20 4.22 4.18 5/259 1082291
/proc/meminfo: memFree=111035720/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=43460 memory=14680 CPUtime=3.08 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 1885 0 0 0 301 7 0 0 20 0 1 0 199940151 44503040 3670 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 10865 3670 1462 291 0 2399 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43460 KiB
Current children cumulated memory: 14680 KiB
[startup+6.30023 s]
/proc/loadavg: 4.19 4.22 4.18 5/259 1082291
/proc/meminfo: memFree=111027480/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=47524 memory=16588 CPUtime=6.27 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 2377 0 0 0 612 15 0 0 20 0 1 0 199940151 48664576 4147 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 11881 4147 1462 291 0 3415 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47524 KiB
Current children cumulated memory: 16588 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.21 4.18 5/256 1082293
/proc/meminfo: memFree=110782984/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=48900 memory=20116 CPUtime=12.65 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 2729 0 0 0 1242 23 0 0 20 0 1 0 199940151 50073600 5029 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 12225 5029 1462 291 0 3759 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 48900 KiB
Current children cumulated memory: 20116 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.22 4.18 5/256 1082294
/proc/meminfo: memFree=110741780/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=55052 memory=22360 CPUtime=25.43 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 3283 0 0 0 2505 38 0 0 20 0 1 0 199940151 56373248 5590 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 13763 5590 1462 291 0 5297 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 55052 KiB
Current children cumulated memory: 22360 KiB
[startup+51.1054 s]
/proc/loadavg: 4.21 4.22 4.18 5/256 1082299
/proc/meminfo: memFree=110670396/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=58760 memory=27924 CPUtime=50.96 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 4242 0 0 0 5037 59 0 0 20 0 1 0 199940151 60170240 6981 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 14690 6981 1462 291 0 6224 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 58760 KiB
Current children cumulated memory: 27924 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.21 4.18 5/256 1082307
/proc/meminfo: memFree=110541540/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=68856 memory=34848 CPUtime=102.02 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 5464 0 0 0 10102 100 0 0 20 0 1 0 199940151 70508544 8712 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 17214 8712 1462 291 0 8748 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 68856 KiB
Current children cumulated memory: 34848 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/256 1082319
/proc/meminfo: memFree=110385976/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=70816 memory=38512 CPUtime=161.86 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 5910 0 0 0 16049 137 0 0 20 0 1 0 199940151 72515584 9628 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 17704 9628 1462 291 0 9238 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 70816 KiB
Current children cumulated memory: 38512 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/256 1082329
/proc/meminfo: memFree=109992140/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=74636 memory=43860 CPUtime=221.7 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 6740 0 0 0 21998 172 0 0 20 0 1 0 199940151 76427264 10965 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 18659 10965 1462 291 0 10193 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 74636 KiB
Current children cumulated memory: 43860 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/258 1082344
/proc/meminfo: memFree=109748468/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=75476 memory=44696 CPUtime=281.53 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 7015 0 0 0 27944 209 0 0 20 0 1 0 199940151 77287424 11174 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 18869 11174 1462 291 0 10403 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 75476 KiB
Current children cumulated memory: 44696 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/257 1082355
/proc/meminfo: memFree=109614864/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=88900 memory=47192 CPUtime=341.37 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 7725 0 0 0 33896 241 0 0 20 0 1 0 199940151 91033600 11798 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 22225 11798 1462 291 0 13759 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 88900 KiB
Current children cumulated memory: 47192 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/257 1082365
/proc/meminfo: memFree=109518224/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=90056 memory=50968 CPUtime=401.2 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 8215 0 0 0 39854 266 0 0 20 0 1 0 199940151 92217344 12742 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 22514 12742 1462 291 0 14048 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 90056 KiB
Current children cumulated memory: 50968 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/257 1082377
/proc/meminfo: memFree=109484148/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=93424 memory=55660 CPUtime=461.03 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 8937 0 0 0 45815 288 0 0 20 0 1 0 199940151 95666176 13915 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 23356 13915 1462 291 0 14890 0
################
# More data... #
################
Current children cumulated memory: 91868 KiB
[startup+2862.3 s]
/proc/loadavg: 1.13 1.33 2.33 2/237 1084089
/proc/meminfo: memFree=122540880/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=132668 memory=93216 CPUtime=2854.78 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 15124 0 0 0 284428 1050 0 0 20 0 1 0 199940151 135852032 23304 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 33167 23304 1462 291 0 24701 0
Current children cumulated CPU time: 2854.78 s
Current children cumulated vsize: 132668 KiB
Current children cumulated memory: 93216 KiB
[startup+2922.3 s]
/proc/loadavg: 1.05 1.27 2.25 2/237 1084101
/proc/meminfo: memFree=122540404/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=132668 memory=93304 CPUtime=2914.66 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 15166 0 0 0 290403 1063 0 0 20 0 1 0 199940151 135852032 23326 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 33167 23326 1462 291 0 24701 0
Current children cumulated CPU time: 2914.66 s
Current children cumulated vsize: 132668 KiB
Current children cumulated memory: 93304 KiB
[startup+2982.3 s]
/proc/loadavg: 1.13 1.25 2.18 2/236 1084111
/proc/meminfo: memFree=122538908/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=133968 memory=93972 CPUtime=2974.52 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 15384 0 0 0 296376 1076 0 0 20 0 1 0 199940151 137183232 23493 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 33492 23493 1462 291 0 25026 0
Current children cumulated CPU time: 2974.52 s
Current children cumulated vsize: 133968 KiB
Current children cumulated memory: 93972 KiB
[startup+3042.3 s]
/proc/loadavg: 1.11 1.22 2.11 2/234 1084122
/proc/meminfo: memFree=122538276/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=133968 memory=94044 CPUtime=3034.39 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 15426 0 0 0 302350 1089 0 0 20 0 1 0 199940151 137183232 23511 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 33492 23511 1462 291 0 25026 0
Current children cumulated CPU time: 3034.39 s
Current children cumulated vsize: 133968 KiB
Current children cumulated memory: 94044 KiB
[startup+3102.3 s]
/proc/loadavg: 1.09 1.19 2.04 2/235 1084135
/proc/meminfo: memFree=122536312/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=134876 memory=95436 CPUtime=3094.26 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 15606 0 0 0 308324 1102 0 0 20 0 1 0 199940151 138113024 23859 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 33719 23859 1462 291 0 25253 0
Current children cumulated CPU time: 3094.26 s
Current children cumulated vsize: 134876 KiB
Current children cumulated memory: 95436 KiB
[startup+3162.3 s]
/proc/loadavg: 1.10 1.17 1.98 2/235 1084146
/proc/meminfo: memFree=122535644/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=134876 memory=95444 CPUtime=3154.12 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 15648 0 0 0 314298 1114 0 0 20 0 1 0 199940151 138113024 23861 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 33719 23861 1462 291 0 25253 0
Current children cumulated CPU time: 3154.12 s
Current children cumulated vsize: 134876 KiB
Current children cumulated memory: 95444 KiB
[startup+3222.3 s]
/proc/loadavg: 1.09 1.15 1.92 2/235 1084157
/proc/meminfo: memFree=122534808/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=135136 memory=95584 CPUtime=3213.98 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 15727 0 0 0 320274 1124 0 0 20 0 1 0 199940151 138379264 23896 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 33784 23896 1462 291 0 25318 0
Current children cumulated CPU time: 3213.98 s
Current children cumulated vsize: 135136 KiB
Current children cumulated memory: 95584 KiB
[startup+3282.3 s]
/proc/loadavg: 1.07 1.14 1.87 2/237 1084172
/proc/meminfo: memFree=122531884/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=135396 memory=97800 CPUtime=3273.85 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 15804 0 0 0 326244 1141 0 0 20 0 1 0 199940151 138645504 24450 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 33849 24450 1462 291 0 25383 0
Current children cumulated CPU time: 3273.85 s
Current children cumulated vsize: 135396 KiB
Current children cumulated memory: 97800 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.14 1.82 2/237 1084183
/proc/meminfo: memFree=122531168/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=135396 memory=97820 CPUtime=3333.71 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 15856 0 0 0 332220 1151 0 0 20 0 1 0 199940151 138645504 24455 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 33849 24455 1462 291 0 25383 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 135396 KiB
Current children cumulated memory: 97820 KiB
[startup+3402.3 s]
/proc/loadavg: 1.09 1.13 1.77 2/236 1084194
/proc/meminfo: memFree=122529292/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=135656 memory=98956 CPUtime=3393.58 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 15928 0 0 0 338191 1167 0 0 20 0 1 0 199940151 138911744 24739 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 33914 24739 1462 291 0 25448 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 135656 KiB
Current children cumulated memory: 98956 KiB
[startup+3462.3 s]
/proc/loadavg: 1.14 1.13 1.73 2/236 1084206
/proc/meminfo: memFree=122528312/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=135656 memory=98964 CPUtime=3453.43 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 15975 0 0 0 344165 1178 0 0 20 0 1 0 199940151 138911744 24741 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 33914 24741 1462 291 0 25448 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 135656 KiB
Current children cumulated memory: 98964 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.12 1.69 2/236 1084217
/proc/meminfo: memFree=122526964/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=136956 memory=99468 CPUtime=3513.3 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 16154 0 0 0 350140 1190 0 0 20 0 1 0 199940151 140242944 24867 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 34239 24867 1462 291 0 25773 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 136956 KiB
Current children cumulated memory: 99468 KiB
[startup+3582.3 s]
/proc/loadavg: 1.16 1.13 1.65 2/234 1084227
/proc/meminfo: memFree=122526292/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=136956 memory=99672 CPUtime=3573.16 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 16192 0 0 0 356113 1203 0 0 20 0 1 0 199940151 140242944 24918 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 34239 24918 1462 291 0 25773 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 136956 KiB
Current children cumulated memory: 99672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 1.45 1.20 1.66 2/234 1084232
/proc/meminfo: memFree=122526140/131524600 swapFree=131071996/131071996
[pid=1082290] ppid=1082287 vsize=136956 memory=99672 CPUtime=3600 cores=1,3
/proc/1082290/stat : 1082290 (pb-oll-rs) R 1082287 1082290 1077157 0 -1 4194304 16232 0 0 0 358792 1208 0 0 20 0 1 0 199940151 140242944 24918 134679101440 4194304 5384485 140731095392624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35704832 140731095401493 140731095401570 140731095401570 140731095408587 0
/proc/1082290/statm: 34239 24918 1462 291 0 25773 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 136956 KiB
Current children cumulated memory: 99672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 1082290 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.92 s, system=12.0897 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.2
CPU time (s): 3600.01
CPU user time (s): 3587.92
CPU system time (s): 12.0897
CPU usage (%): 99.7454
Max. virtual memory (cumulated for all children) (KiB): 136956
Max. memory (cumulated for all children) (KiB): 99672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.92
system time used= 12.0897
maximum resident set size= 99840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16249
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= 29
involuntary context switches= 2271
# summary of solver processes directly reported to runsolver:
# pid: 1082290
# total CPU time (s): 3600.01
# total CPU user time (s): 3587.92
# total CPU system time (s): 12.0897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7457 second user time and 16.0729 second system time
The end
Begin job on nodeC031 at 2024-07-20 14:15:32
IDJOB=4454574
IDBENCH=158407
IDSOLVER=3082
FILE ID=nodeC031/4454574-1721477719
RUNJOBID= nodeC031-1721469094-1077169
SLURM_JOB_ID= 7545727
Free space on /tmp= 889948 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_16x16_001.opb.metafix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454574-1721477719/watcher-4454574-1721477719 -o /tmp/evaluation-result-4454574-1721477719/solver-4454574-1721477719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077169 --watchdog 3760 pb-oll-rs HOME/instance-4454574-1721477719.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5c8bdd7bf429ca5545e1ed59def685f5
RANDOM SEED=1980695102
nodeC031.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 : 3671.048
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.55
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 : 3649.779
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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.784
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.55
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 : 3656.932
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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 : 3671.014
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.55
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 : 3676.451
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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.876
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.55
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 : 3600.330
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 111054860 kB
MemAvailable: 118108504 kB
Buffers: 545664 kB
Cached: 7268708 kB
SwapCached: 0 kB
Active: 1228028 kB
Inactive: 18414448 kB
Active(anon): 1536 kB
Inactive(anon): 11872512 kB
Active(file): 1226492 kB
Inactive(file): 6541936 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2524 kB
Writeback: 0 kB
AnonPages: 11826428 kB
Mapped: 111692 kB
Shmem: 45912 kB
KReclaimable: 249728 kB
Slab: 381968 kB
SReclaimable: 249728 kB
SUnreclaim: 132240 kB
KernelStack: 4176 kB
PageTables: 34152 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 14954856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74464 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4237312 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: 260820 kB
DirectMap2M: 41455616 kB
DirectMap1G: 94371840 kB
Free space on /tmp at the end= 890080 MiB
End job on nodeC031 at 2024-07-20 15:15:41