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.000994
0.00/0.00 c stratification level: 0
0.00/0.01 c bounds - >= 30 @ 0.001317
0.00/0.01 c bounds - >= 32 @ 0.001317
0.00/0.01 c bounds - >= 40 @ 0.001317
0.00/0.01 c bounds - >= 45 @ 0.001317
0.00/0.01 c bounds - >= 54 @ 0.001317
0.00/0.01 c bounds - >= 58 @ 0.001317
0.00/0.01 c bounds - >= 65 @ 0.001317
0.00/0.01 c bounds - >= 76 @ 0.001317
0.00/0.01 c bounds - >= 83 @ 0.001317
0.00/0.01 c bounds - >= 93 @ 0.001317
0.00/0.01 c bounds - >= 102 @ 0.001317
0.00/0.01 c bounds - >= 109 @ 0.00135
0.00/0.01 c bounds - >= 111 @ 0.001403
0.00/0.01 c bounds - >= 117 @ 0.001444
0.00/0.01 c bounds - >= 119 @ 0.001485
0.00/0.01 c finalizing WCE round: reformulating cores
26.03/26.16 c #Conflicts: 1000 | #Constraints: 1204
26.03/26.16 c #Conflicts: 2000 | #Constraints: 2206
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 3000 | #Constraints: 2194
26.03/26.16 c #Conflicts: 4000 | #Constraints: 3196
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 5000 | #Constraints: 2606
26.03/26.16 c #Conflicts: 6000 | #Constraints: 3608
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 7000 | #Constraints: 2617
26.03/26.16 c #Conflicts: 8000 | #Constraints: 3619
26.03/26.16 c #Conflicts: 9000 | #Constraints: 4623
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 10000 | #Constraints: 3327
26.03/26.16 c #Conflicts: 11000 | #Constraints: 4329
26.03/26.16 c #Conflicts: 12000 | #Constraints: 5331
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 13000 | #Constraints: 3781
26.03/26.16 c bounds 125 >= 119 @ 2.20339
26.03/26.16 c bounds 125 >= 121 @ 2.20421
26.03/26.16 c bounds 125 >= 122 @ 2.20494
26.03/26.16 c #Conflicts: 14000 | #Constraints: 4807
26.03/26.16 c #Conflicts: 15000 | #Constraints: 5807
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 16000 | #Constraints: 4033
26.03/26.16 c #Conflicts: 17000 | #Constraints: 5033
26.03/26.16 c #Conflicts: 18000 | #Constraints: 6033
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 19000 | #Constraints: 4049
26.03/26.16 c #Conflicts: 20000 | #Constraints: 5049
26.03/26.16 c #Conflicts: 21000 | #Constraints: 6049
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 22000 | #Constraints: 3850
26.03/26.16 c #Conflicts: 23000 | #Constraints: 4850
26.03/26.16 c #Conflicts: 24000 | #Constraints: 5850
26.03/26.16 c #Conflicts: 25000 | #Constraints: 6850
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 26000 | #Constraints: 4453
26.03/26.16 c #Conflicts: 27000 | #Constraints: 5453
26.03/26.16 c #Conflicts: 28000 | #Constraints: 6453
26.03/26.16 c #Conflicts: 29000 | #Constraints: 7453
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 30000 | #Constraints: 4857
26.03/26.16 c #Conflicts: 31000 | #Constraints: 5857
26.03/26.16 c #Conflicts: 32000 | #Constraints: 6857
26.03/26.16 c #Conflicts: 33000 | #Constraints: 7857
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 34000 | #Constraints: 5059
26.03/26.16 c #Conflicts: 35000 | #Constraints: 6059
26.03/26.16 c #Conflicts: 36000 | #Constraints: 7059
26.03/26.16 c #Conflicts: 37000 | #Constraints: 8059
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 38000 | #Constraints: 5062
26.03/26.16 c #Conflicts: 39000 | #Constraints: 6062
26.03/26.16 c #Conflicts: 40000 | #Constraints: 7062
26.03/26.16 c #Conflicts: 41000 | #Constraints: 8062
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 42000 | #Constraints: 4858
26.03/26.16 c #Conflicts: 43000 | #Constraints: 5858
26.03/26.16 c #Conflicts: 44000 | #Constraints: 6858
26.03/26.16 c #Conflicts: 45000 | #Constraints: 7858
26.03/26.16 c #Conflicts: 46000 | #Constraints: 8858
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 47000 | #Constraints: 5460
26.03/26.16 c #Conflicts: 48000 | #Constraints: 6460
26.03/26.16 c #Conflicts: 49000 | #Constraints: 7460
26.03/26.16 c #Conflicts: 50000 | #Constraints: 8460
26.03/26.16 c #Conflicts: 51000 | #Constraints: 9460
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 52000 | #Constraints: 5856
26.03/26.16 c #Conflicts: 53000 | #Constraints: 6856
26.03/26.16 c #Conflicts: 54000 | #Constraints: 7856
26.03/26.16 c #Conflicts: 55000 | #Constraints: 8856
26.03/26.16 c #Conflicts: 56000 | #Constraints: 9856
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 57000 | #Constraints: 6059
26.03/26.16 c #Conflicts: 58000 | #Constraints: 7059
26.03/26.16 c #Conflicts: 59000 | #Constraints: 8059
26.03/26.16 c #Conflicts: 60000 | #Constraints: 9059
26.03/26.16 c #Conflicts: 61000 | #Constraints: 10059
26.03/26.16 c INPROCESSING
26.03/26.16 c GARBAGE COLLECT
26.03/26.16 c #Conflicts: 62000 | #Constraints: 6063
26.03/26.16 c #Conflicts: 63000 | #Constraints: 7063
26.03/26.16 c #Conflicts: 64000 | #Constraints: 8063
26.03/26.16 c #Conflicts: 65000 | #Constraints: 9063
26.03/26.16 c #Conflicts: 66000 | #Constraints: 10063
26.03/26.16 c INPROCESSING
89.43/89.73 c GARBAGE COLLECT
89.43/89.73 c #Conflicts: 67000 | #Constraints: 5867
89.43/89.73 c #Conflicts: 68000 | #Constraints: 6867
89.43/89.73 c #Conflicts: 69000 | #Constraints: 7867
89.43/89.73 c #Conflicts: 70000 | #Constraints: 8867
89.43/89.73 c #Conflicts: 71000 | #Constraints: 9867
89.43/89.73 c #Conflicts: 72000 | #Constraints: 10867
89.43/89.73 c INPROCESSING
89.43/89.73 c GARBAGE COLLECT
89.43/89.73 c #Conflicts: 73000 | #Constraints: 6464
89.43/89.73 c #Conflicts: 74000 | #Constraints: 7464
89.43/89.73 c #Conflicts: 75000 | #Constraints: 8464
89.43/89.73 c #Conflicts: 76000 | #Constraints: 9464
89.43/89.73 c #Conflicts: 77000 | #Constraints: 10464
89.43/89.73 c #Conflicts: 78000 | #Constraints: 11464
89.43/89.73 c INPROCESSING
89.43/89.73 c GARBAGE COLLECT
89.43/89.73 c #Conflicts: 79000 | #Constraints: 6866
89.43/89.73 c #Conflicts: 80000 | #Constraints: 7866
89.43/89.73 c #Conflicts: 81000 | #Constraints: 8866
89.43/89.73 c #Conflicts: 82000 | #Constraints: 9866
89.43/89.73 c #Conflicts: 83000 | #Constraints: 10866
89.43/89.73 c #Conflicts: 84000 | #Constraints: 11866
89.43/89.73 c INPROCESSING
89.43/89.73 c GARBAGE COLLECT
89.43/89.73 c #Conflicts: 85000 | #Constraints: 7066
89.43/89.73 c #Conflicts: 86000 | #Constraints: 8066
89.43/89.73 c #Conflicts: 87000 | #Constraints: 9066
89.43/89.73 c #Conflicts: 88000 | #Constraints: 10066
89.43/89.73 c #Conflicts: 89000 | #Constraints: 11066
89.43/89.73 c #Conflicts: 90000 | #Constraints: 12066
89.43/89.73 c INPROCESSING
89.43/89.73 c GARBAGE COLLECT
89.43/89.73 c #Conflicts: 91000 | #Constraints: 7063
89.43/89.73 c #Conflicts: 92000 | #Constraints: 8063
89.43/89.73 c #Conflicts: 93000 | #Constraints: 9063
89.43/89.73 c #Conflicts: 94000 | #Constraints: 10063
89.43/89.73 c #Conflicts: 95000 | #Constraints: 11063
89.43/89.73 c #Conflicts: 96000 | #Constraints: 12063
89.43/89.73 c INPROCESSING
89.43/89.73 c GARBAGE COLLECT
89.43/89.73 c #Conflicts: 97000 | #Constraints: 6871
89.43/89.73 c #Conflicts: 98000 | #Constraints: 7871
89.43/89.73 c #Conflicts: 99000 | #Constraints: 8871
89.43/89.73 c #Conflicts: 100000 | #Constraints: 9871
89.43/89.73 c #Conflicts: 101000 | #Constraints: 10871
89.43/89.73 c #Conflicts: 102000 | #Constraints: 11871
89.43/89.73 c #Conflicts: 103000 | #Constraints: 12871
89.43/89.73 c INPROCESSING
89.43/89.73 c GARBAGE COLLECT
89.43/89.73 c #Conflicts: 104000 | #Constraints: 7469
89.43/89.73 c #Conflicts: 105000 | #Constraints: 8469
89.43/89.73 c #Conflicts: 106000 | #Constraints: 9469
89.43/89.73 c #Conflicts: 107000 | #Constraints: 10469
89.43/89.73 c #Conflicts: 108000 | #Constraints: 11469
89.43/89.73 c #Conflicts: 109000 | #Constraints: 12469
89.43/89.73 c #Conflicts: 110000 | #Constraints: 13469
89.43/89.73 c INPROCESSING
89.43/89.73 c GARBAGE COLLECT
89.43/89.73 c #Conflicts: 111000 | #Constraints: 7870
89.43/89.73 c #Conflicts: 112000 | #Constraints: 8870
89.43/89.73 c #Conflicts: 113000 | #Constraints: 9870
89.43/89.73 c #Conflicts: 114000 | #Constraints: 10870
89.43/89.73 c #Conflicts: 115000 | #Constraints: 11870
89.43/89.73 c #Conflicts: 116000 | #Constraints: 12870
89.43/89.73 c #Conflicts: 117000 | #Constraints: 13870
89.43/89.73 c INPROCESSING
89.43/89.73 c GARBAGE COLLECT
89.43/89.73 c #Conflicts: 118000 | #Constraints: 8068
89.43/89.73 c #Conflicts: 119000 | #Constraints: 9068
89.43/89.73 c #Conflicts: 120000 | #Constraints: 10068
89.43/89.73 c #Conflicts: 121000 | #Constraints: 11068
89.43/89.73 c #Conflicts: 122000 | #Constraints: 12068
89.43/89.73 c #Conflicts: 123000 | #Constraints: 13068
89.43/89.73 c #Conflicts: 124000 | #Constraints: 14068
89.43/89.73 c INPROCESSING
89.43/89.73 c GARBAGE COLLECT
89.43/89.73 c #Conflicts: 125000 | #Constraints: 8075
89.43/89.73 c #Conflicts: 126000 | #Constraints: 9075
89.43/89.73 c #Conflicts: 127000 | #Constraints: 10075
89.43/89.73 c #Conflicts: 128000 | #Constraints: 11075
89.43/89.73 c #Conflicts: 129000 | #Constraints: 12075
89.43/89.73 c #Conflicts: 130000 | #Constraints: 13075
89.43/89.73 c #Conflicts: 131000 | #Constraints: 14075
89.43/89.73 c INPROCESSING
89.43/89.73 c GARBAGE COLLECT
89.43/89.73 c #Conflicts: 132000 | #Constraints: 7872
89.43/89.73 c #Conflicts: 133000 | #Constraints: 8872
89.43/89.73 c #Conflicts: 134000 | #Constraints: 9872
89.43/89.73 c #Conflicts: 135000 | #Constraints: 10872
89.43/89.73 c #Conflicts: 136000 | #Constraints: 11872
89.43/89.73 c #Conflicts: 137000 | #Constraints: 12872
89.43/89.73 c #Conflicts: 138000 | #Constraints: 13872
89.43/89.73 c #Conflicts: 139000 | #Constraints: 14872
186.34/186.99 c INPROCESSING
186.34/186.99 c GARBAGE COLLECT
186.34/186.99 c #Conflicts: 140000 | #Constraints: 8471
186.34/186.99 c #Conflicts: 141000 | #Constraints: 9471
186.34/186.99 c #Conflicts: 142000 | #Constraints: 10471
186.34/186.99 c #Conflicts: 143000 | #Constraints: 11471
186.34/186.99 c #Conflicts: 144000 | #Constraints: 12471
186.34/186.99 c #Conflicts: 145000 | #Constraints: 13471
186.34/186.99 c #Conflicts: 146000 | #Constraints: 14471
186.34/186.99 c #Conflicts: 147000 | #Constraints: 15471
186.34/186.99 c INPROCESSING
186.34/186.99 c GARBAGE COLLECT
186.34/186.99 c #Conflicts: 148000 | #Constraints: 8869
186.34/186.99 c #Conflicts: 149000 | #Constraints: 9869
186.34/186.99 c #Conflicts: 150000 | #Constraints: 10869
186.34/186.99 c #Conflicts: 151000 | #Constraints: 11869
186.34/186.99 c #Conflicts: 152000 | #Constraints: 12869
186.34/186.99 c #Conflicts: 153000 | #Constraints: 13869
186.34/186.99 c #Conflicts: 154000 | #Constraints: 14869
186.34/186.99 c #Conflicts: 155000 | #Constraints: 15869
186.34/186.99 c INPROCESSING
186.34/186.99 c GARBAGE COLLECT
186.34/186.99 c #Conflicts: 156000 | #Constraints: 9071
186.34/186.99 c #Conflicts: 157000 | #Constraints: 10071
186.34/186.99 c #Conflicts: 158000 | #Constraints: 11071
186.34/186.99 c #Conflicts: 159000 | #Constraints: 12071
186.34/186.99 c #Conflicts: 160000 | #Constraints: 13071
186.34/186.99 c #Conflicts: 161000 | #Constraints: 14071
186.34/186.99 c #Conflicts: 162000 | #Constraints: 15071
186.34/186.99 c #Conflicts: 163000 | #Constraints: 16071
186.34/186.99 c INPROCESSING
186.34/186.99 c GARBAGE COLLECT
186.34/186.99 c #Conflicts: 164000 | #Constraints: 9070
186.34/186.99 c #Conflicts: 165000 | #Constraints: 10070
186.34/186.99 c #Conflicts: 166000 | #Constraints: 11070
186.34/186.99 c #Conflicts: 167000 | #Constraints: 12070
186.34/186.99 c #Conflicts: 168000 | #Constraints: 13070
186.34/186.99 c #Conflicts: 169000 | #Constraints: 14070
186.34/186.99 c #Conflicts: 170000 | #Constraints: 15070
186.34/186.99 c #Conflicts: 171000 | #Constraints: 16070
186.34/186.99 c INPROCESSING
186.34/186.99 c GARBAGE COLLECT
186.34/186.99 c #Conflicts: 172000 | #Constraints: 8870
186.34/186.99 c #Conflicts: 173000 | #Constraints: 9870
186.34/186.99 c #Conflicts: 174000 | #Constraints: 10870
186.34/186.99 c #Conflicts: 175000 | #Constraints: 11870
186.34/186.99 c #Conflicts: 176000 | #Constraints: 12870
186.34/186.99 c #Conflicts: 177000 | #Constraints: 13870
186.34/186.99 c #Conflicts: 178000 | #Constraints: 14870
186.34/186.99 c #Conflicts: 179000 | #Constraints: 15870
186.34/186.99 c #Conflicts: 180000 | #Constraints: 16870
186.34/186.99 c INPROCESSING
186.34/186.99 c GARBAGE COLLECT
186.34/186.99 c #Conflicts: 181000 | #Constraints: 9471
186.34/186.99 c #Conflicts: 182000 | #Constraints: 10471
186.34/186.99 c #Conflicts: 183000 | #Constraints: 11471
186.34/186.99 c #Conflicts: 184000 | #Constraints: 12471
186.34/186.99 c #Conflicts: 185000 | #Constraints: 13471
186.34/186.99 c #Conflicts: 186000 | #Constraints: 14471
186.34/186.99 c #Conflicts: 187000 | #Constraints: 15471
186.34/186.99 c #Conflicts: 188000 | #Constraints: 16471
186.34/186.99 c #Conflicts: 189000 | #Constraints: 17471
186.34/186.99 c INPROCESSING
186.34/186.99 c GARBAGE COLLECT
186.34/186.99 c #Conflicts: 190000 | #Constraints: 9879
186.34/186.99 c #Conflicts: 191000 | #Constraints: 10879
186.34/186.99 c #Conflicts: 192000 | #Constraints: 11879
186.34/186.99 c #Conflicts: 193000 | #Constraints: 12879
186.34/186.99 c #Conflicts: 194000 | #Constraints: 13879
186.34/186.99 c #Conflicts: 195000 | #Constraints: 14879
186.34/186.99 c #Conflicts: 196000 | #Constraints: 15879
186.34/186.99 c #Conflicts: 197000 | #Constraints: 16879
186.34/186.99 c #Conflicts: 198000 | #Constraints: 17879
186.34/186.99 c INPROCESSING
186.34/186.99 c GARBAGE COLLECT
186.34/186.99 c #Conflicts: 199000 | #Constraints: 10073
186.34/186.99 c #Conflicts: 200000 | #Constraints: 11073
186.34/186.99 c #Conflicts: 201000 | #Constraints: 12073
186.34/186.99 c #Conflicts: 202000 | #Constraints: 13073
186.34/186.99 c #Conflicts: 203000 | #Constraints: 14073
186.34/186.99 c #Conflicts: 204000 | #Constraints: 15073
186.34/186.99 c #Conflicts: 205000 | #Constraints: 16073
186.34/186.99 c #Conflicts: 206000 | #Constraints: 17073
186.34/186.99 c #Conflicts: 207000 | #Constraints: 18073
186.34/186.99 c INPROCESSING
186.34/186.99 c GARBAGE COLLECT
186.34/186.99 c #Conflicts: 208000 | #Constraints: 10076
186.34/186.99 c #Conflicts: 209000 | #Constraints: 11076
186.34/186.99 c #Conflicts: 210000 | #Constraints: 12076
186.34/186.99 c #Conflicts: 211000 | #Constraints: 13076
186.34/186.99 c #Conflicts: 212000 | #Constraints: 14076
299.68/300.67 c #Conflicts: 213000 | #Constraints: 15076
299.68/300.67 c #Conflicts: 214000 | #Constraints: 16076
299.68/300.67 c #Conflicts: 215000 | #Constraints: 17076
299.68/300.67 c #Conflicts: 216000 | #Constraints: 18076
299.68/300.67 c INPROCESSING
299.68/300.67 c GARBAGE COLLECT
299.68/300.67 c #Conflicts: 217000 | #Constraints: 9871
299.68/300.67 c #Conflicts: 218000 | #Constraints: 10871
299.68/300.67 c #Conflicts: 219000 | #Constraints: 11871
299.68/300.67 c #Conflicts: 220000 | #Constraints: 12871
299.68/300.67 c #Conflicts: 221000 | #Constraints: 13871
299.68/300.67 c #Conflicts: 222000 | #Constraints: 14871
299.68/300.67 c #Conflicts: 223000 | #Constraints: 15871
299.68/300.67 c #Conflicts: 224000 | #Constraints: 16871
299.68/300.67 c #Conflicts: 225000 | #Constraints: 17871
299.68/300.67 c #Conflicts: 226000 | #Constraints: 18871
299.68/300.67 c INPROCESSING
299.68/300.67 c GARBAGE COLLECT
299.68/300.67 c #Conflicts: 227000 | #Constraints: 10467
299.68/300.67 c #Conflicts: 228000 | #Constraints: 11467
299.68/300.67 c #Conflicts: 229000 | #Constraints: 12467
299.68/300.67 c #Conflicts: 230000 | #Constraints: 13467
299.68/300.67 c #Conflicts: 231000 | #Constraints: 14467
299.68/300.67 c #Conflicts: 232000 | #Constraints: 15467
299.68/300.67 c #Conflicts: 233000 | #Constraints: 16467
299.68/300.67 c #Conflicts: 234000 | #Constraints: 17467
299.68/300.67 c #Conflicts: 235000 | #Constraints: 18467
299.68/300.67 c #Conflicts: 236000 | #Constraints: 19467
299.68/300.67 c INPROCESSING
299.68/300.67 c GARBAGE COLLECT
299.68/300.67 c #Conflicts: 237000 | #Constraints: 10870
299.68/300.67 c #Conflicts: 238000 | #Constraints: 11870
299.68/300.67 c #Conflicts: 239000 | #Constraints: 12870
299.68/300.67 c #Conflicts: 240000 | #Constraints: 13870
299.68/300.67 c #Conflicts: 241000 | #Constraints: 14870
299.68/300.67 c #Conflicts: 242000 | #Constraints: 15870
299.68/300.67 c #Conflicts: 243000 | #Constraints: 16870
299.68/300.67 c #Conflicts: 244000 | #Constraints: 17870
299.68/300.67 c #Conflicts: 245000 | #Constraints: 18870
299.68/300.67 c #Conflicts: 246000 | #Constraints: 19870
299.68/300.67 c INPROCESSING
299.68/300.67 c GARBAGE COLLECT
299.68/300.67 c #Conflicts: 247000 | #Constraints: 11071
299.68/300.67 c #Conflicts: 248000 | #Constraints: 12071
299.68/300.67 c #Conflicts: 249000 | #Constraints: 13071
299.68/300.67 c #Conflicts: 250000 | #Constraints: 14071
299.68/300.67 c #Conflicts: 251000 | #Constraints: 15071
299.68/300.67 c #Conflicts: 252000 | #Constraints: 16071
299.68/300.67 c #Conflicts: 253000 | #Constraints: 17071
299.68/300.67 c #Conflicts: 254000 | #Constraints: 18071
299.68/300.67 c #Conflicts: 255000 | #Constraints: 19071
299.68/300.67 c #Conflicts: 256000 | #Constraints: 20071
299.68/300.67 c INPROCESSING
299.68/300.67 c GARBAGE COLLECT
299.68/300.67 c #Conflicts: 257000 | #Constraints: 11072
299.68/300.67 c #Conflicts: 258000 | #Constraints: 12072
299.68/300.67 c #Conflicts: 259000 | #Constraints: 13072
299.68/300.67 c #Conflicts: 260000 | #Constraints: 14072
299.68/300.67 c #Conflicts: 261000 | #Constraints: 15072
299.68/300.67 c #Conflicts: 262000 | #Constraints: 16072
299.68/300.67 c #Conflicts: 263000 | #Constraints: 17072
299.68/300.67 c #Conflicts: 264000 | #Constraints: 18072
299.68/300.67 c #Conflicts: 265000 | #Constraints: 19072
299.68/300.67 c #Conflicts: 266000 | #Constraints: 20072
299.68/300.67 c INPROCESSING
299.68/300.67 c GARBAGE COLLECT
299.68/300.67 c #Conflicts: 267000 | #Constraints: 10873
299.68/300.67 c #Conflicts: 268000 | #Constraints: 11873
299.68/300.67 c #Conflicts: 269000 | #Constraints: 12873
299.68/300.67 c #Conflicts: 270000 | #Constraints: 13873
299.68/300.67 c #Conflicts: 271000 | #Constraints: 14873
299.68/300.67 c #Conflicts: 272000 | #Constraints: 15873
299.68/300.67 c #Conflicts: 273000 | #Constraints: 16873
299.68/300.67 c #Conflicts: 274000 | #Constraints: 17873
299.68/300.67 c #Conflicts: 275000 | #Constraints: 18873
299.68/300.67 c #Conflicts: 276000 | #Constraints: 19873
299.68/300.67 c #Conflicts: 277000 | #Constraints: 20873
299.68/300.67 c INPROCESSING
299.68/300.67 c GARBAGE COLLECT
299.68/300.67 c #Conflicts: 278000 | #Constraints: 11472
299.68/300.67 c #Conflicts: 279000 | #Constraints: 12472
299.68/300.67 c #Conflicts: 280000 | #Constraints: 13472
299.68/300.67 c #Conflicts: 281000 | #Constraints: 14472
299.68/300.67 c #Conflicts: 282000 | #Constraints: 15472
299.68/300.67 c #Conflicts: 283000 | #Constraints: 16472
299.68/300.67 c #Conflicts: 284000 | #Constraints: 17472
299.68/300.67 c #Conflicts: 285000 | #Constraints: 18472
299.68/300.67 c #Conflicts: 286000 | #Constraints: 19472
458.29/459.69 c #Conflicts: 287000 | #Constraints: 20472
458.29/459.69 c #Conflicts: 288000 | #Constraints: 21472
458.29/459.69 c INPROCESSING
458.29/459.69 c GARBAGE COLLECT
458.29/459.69 c #Conflicts: 289000 | #Constraints: 11873
458.29/459.69 c #Conflicts: 290000 | #Constraints: 12873
458.29/459.69 c #Conflicts: 291000 | #Constraints: 13873
458.29/459.69 c #Conflicts: 292000 | #Constraints: 14873
458.29/459.69 c #Conflicts: 293000 | #Constraints: 15873
458.29/459.69 c #Conflicts: 294000 | #Constraints: 16873
458.29/459.69 c #Conflicts: 295000 | #Constraints: 17873
458.29/459.69 c #Conflicts: 296000 | #Constraints: 18873
458.29/459.69 c #Conflicts: 297000 | #Constraints: 19873
458.29/459.69 c #Conflicts: 298000 | #Constraints: 20873
458.29/459.69 c #Conflicts: 299000 | #Constraints: 21873
458.29/459.69 c INPROCESSING
458.29/459.69 c GARBAGE COLLECT
458.29/459.69 c #Conflicts: 300000 | #Constraints: 12068
458.29/459.69 c #Conflicts: 301000 | #Constraints: 13068
458.29/459.69 c #Conflicts: 302000 | #Constraints: 14068
458.29/459.69 c #Conflicts: 303000 | #Constraints: 15068
458.29/459.69 c #Conflicts: 304000 | #Constraints: 16068
458.29/459.69 c #Conflicts: 305000 | #Constraints: 17068
458.29/459.69 c #Conflicts: 306000 | #Constraints: 18068
458.29/459.69 c #Conflicts: 307000 | #Constraints: 19068
458.29/459.69 c #Conflicts: 308000 | #Constraints: 20068
458.29/459.69 c #Conflicts: 309000 | #Constraints: 21068
458.29/459.69 c #Conflicts: 310000 | #Constraints: 22068
458.29/459.69 c INPROCESSING
458.29/459.69 c GARBAGE COLLECT
458.29/459.69 c #Conflicts: 311000 | #Constraints: 12074
458.29/459.69 c #Conflicts: 312000 | #Constraints: 13074
458.29/459.69 c #Conflicts: 313000 | #Constraints: 14074
458.29/459.69 c #Conflicts: 314000 | #Constraints: 15074
458.29/459.69 c #Conflicts: 315000 | #Constraints: 16074
458.29/459.69 c #Conflicts: 316000 | #Constraints: 17074
458.29/459.69 c #Conflicts: 317000 | #Constraints: 18074
458.29/459.69 c #Conflicts: 318000 | #Constraints: 19074
458.29/459.69 c #Conflicts: 319000 | #Constraints: 20074
458.29/459.69 c #Conflicts: 320000 | #Constraints: 21074
458.29/459.69 c #Conflicts: 321000 | #Constraints: 22074
458.29/459.69 c INPROCESSING
458.29/459.69 c GARBAGE COLLECT
458.29/459.69 c #Conflicts: 322000 | #Constraints: 11871
458.29/459.69 c #Conflicts: 323000 | #Constraints: 12871
458.29/459.69 c #Conflicts: 324000 | #Constraints: 13871
458.29/459.69 c #Conflicts: 325000 | #Constraints: 14871
458.29/459.69 c #Conflicts: 326000 | #Constraints: 15871
458.29/459.69 c #Conflicts: 327000 | #Constraints: 16871
458.29/459.69 c #Conflicts: 328000 | #Constraints: 17871
458.29/459.69 c #Conflicts: 329000 | #Constraints: 18871
458.29/459.69 c #Conflicts: 330000 | #Constraints: 19871
458.29/459.69 c #Conflicts: 331000 | #Constraints: 20871
458.29/459.69 c #Conflicts: 332000 | #Constraints: 21871
458.29/459.69 c #Conflicts: 333000 | #Constraints: 22871
458.29/459.69 c INPROCESSING
458.29/459.69 c GARBAGE COLLECT
458.29/459.69 c #Conflicts: 334000 | #Constraints: 12467
458.29/459.69 c #Conflicts: 335000 | #Constraints: 13467
458.29/459.69 c #Conflicts: 336000 | #Constraints: 14467
458.29/459.69 c #Conflicts: 337000 | #Constraints: 15467
458.29/459.69 c #Conflicts: 338000 | #Constraints: 16467
458.29/459.69 c #Conflicts: 339000 | #Constraints: 17467
458.29/459.69 c #Conflicts: 340000 | #Constraints: 18467
458.29/459.69 c #Conflicts: 341000 | #Constraints: 19467
458.29/459.69 c #Conflicts: 342000 | #Constraints: 20467
458.29/459.69 c #Conflicts: 343000 | #Constraints: 21467
458.29/459.69 c #Conflicts: 344000 | #Constraints: 22467
458.29/459.69 c #Conflicts: 345000 | #Constraints: 23467
458.29/459.69 c INPROCESSING
458.29/459.69 c GARBAGE COLLECT
458.29/459.69 c #Conflicts: 346000 | #Constraints: 12867
458.29/459.69 c #Conflicts: 347000 | #Constraints: 13867
458.29/459.69 c #Conflicts: 348000 | #Constraints: 14867
458.29/459.69 c #Conflicts: 349000 | #Constraints: 15867
458.29/459.69 c #Conflicts: 350000 | #Constraints: 16867
458.29/459.69 c #Conflicts: 351000 | #Constraints: 17867
458.29/459.69 c #Conflicts: 352000 | #Constraints: 18867
458.29/459.69 c #Conflicts: 353000 | #Constraints: 19867
458.29/459.69 c #Conflicts: 354000 | #Constraints: 20867
458.29/459.69 c #Conflicts: 355000 | #Constraints: 21867
458.29/459.69 c #Conflicts: 356000 | #Constraints: 22867
458.29/459.69 c #Conflicts: 357000 | #Constraints: 23867
458.29/459.69 c INPROCESSING
458.29/459.69 c GARBAGE COLLECT
458.29/459.69 c #Conflicts: 358000 | #Constraints: 13073
458.29/459.69 c #Conflicts: 359000 | #Constraints: 14073
458.29/459.69 c #Conflicts: 360000 | #Constraints: 15073
641.37/643.15 c #Conflicts: 361000 | #Constraints: 16073
641.37/643.15 c #Conflicts: 362000 | #Constraints: 17073
641.37/643.15 c #Conflicts: 363000 | #Constraints: 18073
641.37/643.15 c #Conflicts: 364000 | #Constraints: 19073
641.37/643.15 c #Conflicts: 365000 | #Constraints: 20073
641.37/643.15 c #Conflicts: 366000 | #Constraints: 21073
641.37/643.15 c #Conflicts: 367000 | #Constraints: 22073
641.37/643.15 c #Conflicts: 368000 | #Constraints: 23073
641.37/643.15 c #Conflicts: 369000 | #Constraints: 24073
641.37/643.15 c INPROCESSING
641.37/643.15 c GARBAGE COLLECT
641.37/643.15 c #Conflicts: 370000 | #Constraints: 13075
641.37/643.15 c #Conflicts: 371000 | #Constraints: 14075
641.37/643.15 c #Conflicts: 372000 | #Constraints: 15075
641.37/643.15 c #Conflicts: 373000 | #Constraints: 16075
641.37/643.15 c #Conflicts: 374000 | #Constraints: 17075
641.37/643.15 c #Conflicts: 375000 | #Constraints: 18075
641.37/643.15 c #Conflicts: 376000 | #Constraints: 19075
641.37/643.15 c #Conflicts: 377000 | #Constraints: 20075
641.37/643.15 c #Conflicts: 378000 | #Constraints: 21075
641.37/643.15 c #Conflicts: 379000 | #Constraints: 22075
641.37/643.15 c #Conflicts: 380000 | #Constraints: 23075
641.37/643.15 c #Conflicts: 381000 | #Constraints: 24075
641.37/643.15 c INPROCESSING
641.37/643.15 c GARBAGE COLLECT
641.37/643.15 c #Conflicts: 382000 | #Constraints: 12876
641.37/643.15 c #Conflicts: 383000 | #Constraints: 13876
641.37/643.15 c #Conflicts: 384000 | #Constraints: 14876
641.37/643.15 c #Conflicts: 385000 | #Constraints: 15876
641.37/643.15 c #Conflicts: 386000 | #Constraints: 16876
641.37/643.15 c #Conflicts: 387000 | #Constraints: 17876
641.37/643.15 c #Conflicts: 388000 | #Constraints: 18876
641.37/643.15 c #Conflicts: 389000 | #Constraints: 19876
641.37/643.15 c #Conflicts: 390000 | #Constraints: 20876
641.37/643.15 c #Conflicts: 391000 | #Constraints: 21876
641.37/643.15 c #Conflicts: 392000 | #Constraints: 22876
641.37/643.15 c #Conflicts: 393000 | #Constraints: 23876
641.37/643.15 c #Conflicts: 394000 | #Constraints: 24876
641.37/643.15 c INPROCESSING
641.37/643.15 c GARBAGE COLLECT
641.37/643.15 c #Conflicts: 395000 | #Constraints: 13467
641.37/643.15 c #Conflicts: 396000 | #Constraints: 14467
641.37/643.15 c #Conflicts: 397000 | #Constraints: 15467
641.37/643.15 c #Conflicts: 398000 | #Constraints: 16467
641.37/643.15 c #Conflicts: 399000 | #Constraints: 17467
641.37/643.15 c #Conflicts: 400000 | #Constraints: 18467
641.37/643.15 c #Conflicts: 401000 | #Constraints: 19467
641.37/643.15 c #Conflicts: 402000 | #Constraints: 20467
641.37/643.15 c #Conflicts: 403000 | #Constraints: 21467
641.37/643.15 c #Conflicts: 404000 | #Constraints: 22467
641.37/643.15 c #Conflicts: 405000 | #Constraints: 23467
641.37/643.15 c #Conflicts: 406000 | #Constraints: 24467
641.37/643.15 c #Conflicts: 407000 | #Constraints: 25467
641.37/643.15 c INPROCESSING
641.37/643.15 c GARBAGE COLLECT
641.37/643.15 c #Conflicts: 408000 | #Constraints: 13873
641.37/643.15 c #Conflicts: 409000 | #Constraints: 14873
641.37/643.15 c #Conflicts: 410000 | #Constraints: 15873
641.37/643.15 c #Conflicts: 411000 | #Constraints: 16873
641.37/643.15 c #Conflicts: 412000 | #Constraints: 17873
641.37/643.15 c #Conflicts: 413000 | #Constraints: 18873
641.37/643.15 c #Conflicts: 414000 | #Constraints: 19873
641.37/643.15 c #Conflicts: 415000 | #Constraints: 20873
641.37/643.15 c #Conflicts: 416000 | #Constraints: 21873
641.37/643.15 c #Conflicts: 417000 | #Constraints: 22873
641.37/643.15 c #Conflicts: 418000 | #Constraints: 23873
641.37/643.15 c #Conflicts: 419000 | #Constraints: 24873
641.37/643.15 c #Conflicts: 420000 | #Constraints: 25873
641.37/643.15 c INPROCESSING
641.37/643.15 c GARBAGE COLLECT
641.37/643.15 c #Conflicts: 421000 | #Constraints: 14077
641.37/643.15 c #Conflicts: 422000 | #Constraints: 15077
641.37/643.15 c #Conflicts: 423000 | #Constraints: 16077
641.37/643.15 c #Conflicts: 424000 | #Constraints: 17077
641.37/643.15 c #Conflicts: 425000 | #Constraints: 18077
641.37/643.15 c #Conflicts: 426000 | #Constraints: 19077
641.37/643.15 c #Conflicts: 427000 | #Constraints: 20077
641.37/643.15 c #Conflicts: 428000 | #Constraints: 21077
641.37/643.15 c #Conflicts: 429000 | #Constraints: 22077
641.37/643.15 c #Conflicts: 430000 | #Constraints: 23077
641.37/643.15 c #Conflicts: 431000 | #Constraints: 24077
641.37/643.15 c #Conflicts: 432000 | #Constraints: 25077
641.37/643.15 c #Conflicts: 433000 | #Constraints: 26077
641.37/643.15 c INPROCESSING
641.37/643.15 c GARBAGE COLLECT
641.37/643.15 c #Conflicts: 434000 | #Constraints: 14082
641.37/643.15 c #Conflicts: 435000 | #Constraints: 15082
863.44/865.78 c #Conflicts: 436000 | #Constraints: 16082
863.44/865.78 c #Conflicts: 437000 | #Constraints: 17082
863.44/865.78 c #Conflicts: 438000 | #Constraints: 18082
863.44/865.78 c #Conflicts: 439000 | #Constraints: 19082
863.44/865.78 c #Conflicts: 440000 | #Constraints: 20082
863.44/865.78 c #Conflicts: 441000 | #Constraints: 21082
863.44/865.78 c #Conflicts: 442000 | #Constraints: 22082
863.44/865.78 c #Conflicts: 443000 | #Constraints: 23082
863.44/865.78 c #Conflicts: 444000 | #Constraints: 24082
863.44/865.78 c #Conflicts: 445000 | #Constraints: 25082
863.44/865.78 c #Conflicts: 446000 | #Constraints: 26082
863.44/865.78 c INPROCESSING
863.44/865.78 c GARBAGE COLLECT
863.44/865.78 c #Conflicts: 447000 | #Constraints: 13885
863.44/865.78 c #Conflicts: 448000 | #Constraints: 14885
863.44/865.78 c #Conflicts: 449000 | #Constraints: 15885
863.44/865.78 c #Conflicts: 450000 | #Constraints: 16885
863.44/865.78 c #Conflicts: 451000 | #Constraints: 17885
863.44/865.78 c #Conflicts: 452000 | #Constraints: 18885
863.44/865.78 c #Conflicts: 453000 | #Constraints: 19885
863.44/865.78 c #Conflicts: 454000 | #Constraints: 20885
863.44/865.78 c #Conflicts: 455000 | #Constraints: 21885
863.44/865.78 c #Conflicts: 456000 | #Constraints: 22885
863.44/865.78 c #Conflicts: 457000 | #Constraints: 23885
863.44/865.78 c #Conflicts: 458000 | #Constraints: 24885
863.44/865.78 c #Conflicts: 459000 | #Constraints: 25885
863.44/865.78 c #Conflicts: 460000 | #Constraints: 26885
863.44/865.78 c INPROCESSING
863.44/865.78 c GARBAGE COLLECT
863.44/865.78 c #Conflicts: 461000 | #Constraints: 14478
863.44/865.78 c #Conflicts: 462000 | #Constraints: 15478
863.44/865.78 c #Conflicts: 463000 | #Constraints: 16478
863.44/865.78 c #Conflicts: 464000 | #Constraints: 17478
863.44/865.78 c #Conflicts: 465000 | #Constraints: 18478
863.44/865.78 c #Conflicts: 466000 | #Constraints: 19478
863.44/865.78 c #Conflicts: 467000 | #Constraints: 20478
863.44/865.78 c #Conflicts: 468000 | #Constraints: 21478
863.44/865.78 c #Conflicts: 469000 | #Constraints: 22478
863.44/865.78 c #Conflicts: 470000 | #Constraints: 23478
863.44/865.78 c #Conflicts: 471000 | #Constraints: 24478
863.44/865.78 c #Conflicts: 472000 | #Constraints: 25478
863.44/865.78 c #Conflicts: 473000 | #Constraints: 26478
863.44/865.78 c #Conflicts: 474000 | #Constraints: 27478
863.44/865.78 c INPROCESSING
863.44/865.78 c GARBAGE COLLECT
863.44/865.78 c #Conflicts: 475000 | #Constraints: 14873
863.44/865.78 c #Conflicts: 476000 | #Constraints: 15873
863.44/865.78 c #Conflicts: 477000 | #Constraints: 16873
863.44/865.78 c #Conflicts: 478000 | #Constraints: 17873
863.44/865.78 c #Conflicts: 479000 | #Constraints: 18873
863.44/865.78 c #Conflicts: 480000 | #Constraints: 19873
863.44/865.78 c #Conflicts: 481000 | #Constraints: 20873
863.44/865.78 c #Conflicts: 482000 | #Constraints: 21873
863.44/865.78 c #Conflicts: 483000 | #Constraints: 22873
863.44/865.78 c #Conflicts: 484000 | #Constraints: 23873
863.44/865.78 c #Conflicts: 485000 | #Constraints: 24873
863.44/865.78 c #Conflicts: 486000 | #Constraints: 25873
863.44/865.78 c #Conflicts: 487000 | #Constraints: 26873
863.44/865.78 c #Conflicts: 488000 | #Constraints: 27873
863.44/865.78 c INPROCESSING
863.44/865.78 c GARBAGE COLLECT
863.44/865.78 c #Conflicts: 489000 | #Constraints: 15077
863.44/865.78 c #Conflicts: 490000 | #Constraints: 16077
863.44/865.78 c #Conflicts: 491000 | #Constraints: 17077
863.44/865.78 c #Conflicts: 492000 | #Constraints: 18077
863.44/865.78 c #Conflicts: 493000 | #Constraints: 19077
863.44/865.78 c #Conflicts: 494000 | #Constraints: 20077
863.44/865.78 c #Conflicts: 495000 | #Constraints: 21077
863.44/865.78 c #Conflicts: 496000 | #Constraints: 22077
863.44/865.78 c #Conflicts: 497000 | #Constraints: 23077
863.44/865.78 c #Conflicts: 498000 | #Constraints: 24077
863.44/865.78 c #Conflicts: 499000 | #Constraints: 25077
863.44/865.78 c #Conflicts: 500000 | #Constraints: 26077
863.44/865.78 c #Conflicts: 501000 | #Constraints: 27077
863.44/865.78 c #Conflicts: 502000 | #Constraints: 28077
863.44/865.78 c INPROCESSING
863.44/865.78 c GARBAGE COLLECT
863.44/865.78 c #Conflicts: 503000 | #Constraints: 15079
863.44/865.78 c #Conflicts: 504000 | #Constraints: 16079
863.44/865.78 c #Conflicts: 505000 | #Constraints: 17079
863.44/865.78 c #Conflicts: 506000 | #Constraints: 18079
863.44/865.78 c #Conflicts: 507000 | #Constraints: 19079
863.44/865.78 c #Conflicts: 508000 | #Constraints: 20079
863.44/865.78 c #Conflicts: 509000 | #Constraints: 21079
863.44/865.78 c #Conflicts: 510000 | #Constraints: 22079
863.44/865.78 c #Conflicts: 511000 | #Constraints: 23079
1127.51/1130.44 c #Conflicts: 512000 | #Constraints: 24079
1127.51/1130.44 c #Conflicts: 513000 | #Constraints: 25079
1127.51/1130.44 c #Conflicts: 514000 | #Constraints: 26079
1127.51/1130.44 c #Conflicts: 515000 | #Constraints: 27079
1127.51/1130.44 c #Conflicts: 516000 | #Constraints: 28079
1127.51/1130.44 c INPROCESSING
1127.51/1130.44 c GARBAGE COLLECT
1127.51/1130.44 c #Conflicts: 517000 | #Constraints: 14872
1127.51/1130.44 c #Conflicts: 518000 | #Constraints: 15872
1127.51/1130.44 c #Conflicts: 519000 | #Constraints: 16872
1127.51/1130.44 c #Conflicts: 520000 | #Constraints: 17872
1127.51/1130.44 c #Conflicts: 521000 | #Constraints: 18872
1127.51/1130.44 c #Conflicts: 522000 | #Constraints: 19872
1127.51/1130.44 c #Conflicts: 523000 | #Constraints: 20872
1127.51/1130.44 c #Conflicts: 524000 | #Constraints: 21872
1127.51/1130.44 c #Conflicts: 525000 | #Constraints: 22872
1127.51/1130.44 c #Conflicts: 526000 | #Constraints: 23872
1127.51/1130.44 c #Conflicts: 527000 | #Constraints: 24872
1127.51/1130.44 c #Conflicts: 528000 | #Constraints: 25872
1127.51/1130.44 c #Conflicts: 529000 | #Constraints: 26872
1127.51/1130.44 c #Conflicts: 530000 | #Constraints: 27872
1127.51/1130.44 c #Conflicts: 531000 | #Constraints: 28872
1127.51/1130.44 c INPROCESSING
1127.51/1130.44 c GARBAGE COLLECT
1127.51/1130.44 c #Conflicts: 532000 | #Constraints: 15477
1127.51/1130.44 c #Conflicts: 533000 | #Constraints: 16477
1127.51/1130.44 c #Conflicts: 534000 | #Constraints: 17477
1127.51/1130.44 c #Conflicts: 535000 | #Constraints: 18477
1127.51/1130.44 c #Conflicts: 536000 | #Constraints: 19477
1127.51/1130.44 c #Conflicts: 537000 | #Constraints: 20477
1127.51/1130.44 c #Conflicts: 538000 | #Constraints: 21477
1127.51/1130.44 c #Conflicts: 539000 | #Constraints: 22477
1127.51/1130.44 c #Conflicts: 540000 | #Constraints: 23477
1127.51/1130.44 c #Conflicts: 541000 | #Constraints: 24477
1127.51/1130.44 c #Conflicts: 542000 | #Constraints: 25477
1127.51/1130.44 c #Conflicts: 543000 | #Constraints: 26477
1127.51/1130.44 c #Conflicts: 544000 | #Constraints: 27477
1127.51/1130.44 c #Conflicts: 545000 | #Constraints: 28477
1127.51/1130.44 c #Conflicts: 546000 | #Constraints: 29477
1127.51/1130.44 c INPROCESSING
1127.51/1130.44 c GARBAGE COLLECT
1127.51/1130.44 c #Conflicts: 547000 | #Constraints: 15874
1127.51/1130.44 c #Conflicts: 548000 | #Constraints: 16874
1127.51/1130.44 c #Conflicts: 549000 | #Constraints: 17874
1127.51/1130.44 c #Conflicts: 550000 | #Constraints: 18874
1127.51/1130.44 c #Conflicts: 551000 | #Constraints: 19874
1127.51/1130.44 c #Conflicts: 552000 | #Constraints: 20874
1127.51/1130.44 c #Conflicts: 553000 | #Constraints: 21874
1127.51/1130.44 c #Conflicts: 554000 | #Constraints: 22874
1127.51/1130.44 c #Conflicts: 555000 | #Constraints: 23874
1127.51/1130.44 c #Conflicts: 556000 | #Constraints: 24874
1127.51/1130.44 c #Conflicts: 557000 | #Constraints: 25874
1127.51/1130.44 c #Conflicts: 558000 | #Constraints: 26874
1127.51/1130.44 c #Conflicts: 559000 | #Constraints: 27874
1127.51/1130.44 c #Conflicts: 560000 | #Constraints: 28874
1127.51/1130.44 c #Conflicts: 561000 | #Constraints: 29874
1127.51/1130.44 c INPROCESSING
1127.51/1130.44 c GARBAGE COLLECT
1127.51/1130.44 c #Conflicts: 562000 | #Constraints: 16071
1127.51/1130.44 c #Conflicts: 563000 | #Constraints: 17071
1127.51/1130.44 c #Conflicts: 564000 | #Constraints: 18071
1127.51/1130.44 c #Conflicts: 565000 | #Constraints: 19071
1127.51/1130.44 c #Conflicts: 566000 | #Constraints: 20071
1127.51/1130.44 c #Conflicts: 567000 | #Constraints: 21071
1127.51/1130.44 c #Conflicts: 568000 | #Constraints: 22071
1127.51/1130.44 c #Conflicts: 569000 | #Constraints: 23071
1127.51/1130.44 c #Conflicts: 570000 | #Constraints: 24071
1127.51/1130.44 c #Conflicts: 571000 | #Constraints: 25071
1127.51/1130.44 c #Conflicts: 572000 | #Constraints: 26071
1127.51/1130.44 c #Conflicts: 573000 | #Constraints: 27071
1127.51/1130.44 c #Conflicts: 574000 | #Constraints: 28071
1127.51/1130.44 c #Conflicts: 575000 | #Constraints: 29071
1127.51/1130.44 c #Conflicts: 576000 | #Constraints: 30071
1127.51/1130.44 c INPROCESSING
1127.51/1130.44 c GARBAGE COLLECT
1127.51/1130.44 c #Conflicts: 577000 | #Constraints: 16068
1127.51/1130.44 c #Conflicts: 578000 | #Constraints: 17068
1127.51/1130.44 c #Conflicts: 579000 | #Constraints: 18068
1127.51/1130.44 c #Conflicts: 580000 | #Constraints: 19068
1127.51/1130.44 c #Conflicts: 581000 | #Constraints: 20068
1127.51/1130.44 c #Conflicts: 582000 | #Constraints: 21068
1127.51/1130.44 c #Conflicts: 583000 | #Constraints: 22068
1127.51/1130.44 c #Conflicts: 584000 | #Constraints: 23068
1127.51/1130.44 c #Conflicts: 585000 | #Constraints: 24068
1127.51/1130.44 c #Conflicts: 586000 | #Constraints: 25068
1455.60/1459.35 c #Conflicts: 587000 | #Constraints: 26068
1455.60/1459.35 c #Conflicts: 588000 | #Constraints: 27068
1455.60/1459.35 c #Conflicts: 589000 | #Constraints: 28068
1455.60/1459.35 c #Conflicts: 590000 | #Constraints: 29068
1455.60/1459.35 c #Conflicts: 591000 | #Constraints: 30068
1455.60/1459.35 c INPROCESSING
1455.60/1459.35 c GARBAGE COLLECT
1455.60/1459.35 c #Conflicts: 592000 | #Constraints: 15871
1455.60/1459.35 c #Conflicts: 593000 | #Constraints: 16871
1455.60/1459.35 c #Conflicts: 594000 | #Constraints: 17871
1455.60/1459.35 c #Conflicts: 595000 | #Constraints: 18871
1455.60/1459.35 c #Conflicts: 596000 | #Constraints: 19871
1455.60/1459.35 c #Conflicts: 597000 | #Constraints: 20871
1455.60/1459.35 c #Conflicts: 598000 | #Constraints: 21871
1455.60/1459.35 c #Conflicts: 599000 | #Constraints: 22871
1455.60/1459.35 c #Conflicts: 600000 | #Constraints: 23871
1455.60/1459.35 c #Conflicts: 601000 | #Constraints: 24871
1455.60/1459.35 c #Conflicts: 602000 | #Constraints: 25871
1455.60/1459.35 c #Conflicts: 603000 | #Constraints: 26871
1455.60/1459.35 c #Conflicts: 604000 | #Constraints: 27871
1455.60/1459.35 c #Conflicts: 605000 | #Constraints: 28871
1455.60/1459.35 c #Conflicts: 606000 | #Constraints: 29871
1455.60/1459.35 c #Conflicts: 607000 | #Constraints: 30871
1455.60/1459.35 c INPROCESSING
1455.60/1459.35 c GARBAGE COLLECT
1455.60/1459.35 c #Conflicts: 608000 | #Constraints: 16472
1455.60/1459.35 c #Conflicts: 609000 | #Constraints: 17472
1455.60/1459.35 c #Conflicts: 610000 | #Constraints: 18472
1455.60/1459.35 c #Conflicts: 611000 | #Constraints: 19472
1455.60/1459.35 c #Conflicts: 612000 | #Constraints: 20472
1455.60/1459.35 c #Conflicts: 613000 | #Constraints: 21472
1455.60/1459.35 c #Conflicts: 614000 | #Constraints: 22472
1455.60/1459.35 c #Conflicts: 615000 | #Constraints: 23472
1455.60/1459.35 c #Conflicts: 616000 | #Constraints: 24472
1455.60/1459.35 c #Conflicts: 617000 | #Constraints: 25472
1455.60/1459.35 c #Conflicts: 618000 | #Constraints: 26472
1455.60/1459.35 c #Conflicts: 619000 | #Constraints: 27472
1455.60/1459.35 c #Conflicts: 620000 | #Constraints: 28472
1455.60/1459.35 c #Conflicts: 621000 | #Constraints: 29472
1455.60/1459.35 c #Conflicts: 622000 | #Constraints: 30472
1455.60/1459.35 c #Conflicts: 623000 | #Constraints: 31472
1455.60/1459.35 c INPROCESSING
1455.60/1459.35 c GARBAGE COLLECT
1455.60/1459.35 c #Conflicts: 624000 | #Constraints: 16871
1455.60/1459.35 c #Conflicts: 625000 | #Constraints: 17871
1455.60/1459.35 c #Conflicts: 626000 | #Constraints: 18871
1455.60/1459.35 c #Conflicts: 627000 | #Constraints: 19871
1455.60/1459.35 c #Conflicts: 628000 | #Constraints: 20871
1455.60/1459.35 c #Conflicts: 629000 | #Constraints: 21871
1455.60/1459.35 c #Conflicts: 630000 | #Constraints: 22871
1455.60/1459.35 c #Conflicts: 631000 | #Constraints: 23871
1455.60/1459.35 c #Conflicts: 632000 | #Constraints: 24871
1455.60/1459.35 c #Conflicts: 633000 | #Constraints: 25871
1455.60/1459.35 c #Conflicts: 634000 | #Constraints: 26871
1455.60/1459.35 c #Conflicts: 635000 | #Constraints: 27871
1455.60/1459.35 c #Conflicts: 636000 | #Constraints: 28871
1455.60/1459.35 c #Conflicts: 637000 | #Constraints: 29871
1455.60/1459.35 c #Conflicts: 638000 | #Constraints: 30871
1455.60/1459.35 c #Conflicts: 639000 | #Constraints: 31871
1455.60/1459.35 c INPROCESSING
1455.60/1459.35 c GARBAGE COLLECT
1455.60/1459.35 c #Conflicts: 640000 | #Constraints: 17076
1455.60/1459.35 c #Conflicts: 641000 | #Constraints: 18076
1455.60/1459.35 c #Conflicts: 642000 | #Constraints: 19076
1455.60/1459.35 c #Conflicts: 643000 | #Constraints: 20076
1455.60/1459.35 c #Conflicts: 644000 | #Constraints: 21076
1455.60/1459.35 c #Conflicts: 645000 | #Constraints: 22076
1455.60/1459.35 c #Conflicts: 646000 | #Constraints: 23076
1455.60/1459.35 c #Conflicts: 647000 | #Constraints: 24076
1455.60/1459.35 c #Conflicts: 648000 | #Constraints: 25076
1455.60/1459.35 c #Conflicts: 649000 | #Constraints: 26076
1455.60/1459.35 c #Conflicts: 650000 | #Constraints: 27076
1455.60/1459.35 c #Conflicts: 651000 | #Constraints: 28076
1455.60/1459.35 c #Conflicts: 652000 | #Constraints: 29076
1455.60/1459.35 c #Conflicts: 653000 | #Constraints: 30076
1455.60/1459.35 c #Conflicts: 654000 | #Constraints: 31076
1455.60/1459.35 c #Conflicts: 655000 | #Constraints: 32076
1455.60/1459.35 c INPROCESSING
1455.60/1459.35 c GARBAGE COLLECT
1455.60/1459.35 c #Conflicts: 656000 | #Constraints: 17079
1455.60/1459.35 c #Conflicts: 657000 | #Constraints: 18079
1455.60/1459.35 c #Conflicts: 658000 | #Constraints: 19079
1455.60/1459.35 c #Conflicts: 659000 | #Constraints: 20079
1455.60/1459.35 c #Conflicts: 660000 | #Constraints: 21079
1455.60/1459.35 c #Conflicts: 661000 | #Constraints: 22079
1455.60/1459.35 c #Conflicts: 662000 | #Constraints: 23079
1837.32/1842.09 c #Conflicts: 663000 | #Constraints: 24079
1837.32/1842.09 c #Conflicts: 664000 | #Constraints: 25079
1837.32/1842.09 c #Conflicts: 665000 | #Constraints: 26079
1837.32/1842.09 c #Conflicts: 666000 | #Constraints: 27079
1837.32/1842.09 c #Conflicts: 667000 | #Constraints: 28079
1837.32/1842.09 c #Conflicts: 668000 | #Constraints: 29079
1837.32/1842.09 c #Conflicts: 669000 | #Constraints: 30079
1837.32/1842.09 c #Conflicts: 670000 | #Constraints: 31079
1837.32/1842.09 c #Conflicts: 671000 | #Constraints: 32079
1837.32/1842.09 c INPROCESSING
1837.32/1842.09 c GARBAGE COLLECT
1837.32/1842.09 c #Conflicts: 672000 | #Constraints: 16874
1837.32/1842.09 c #Conflicts: 673000 | #Constraints: 17874
1837.32/1842.09 c #Conflicts: 674000 | #Constraints: 18874
1837.32/1842.09 c #Conflicts: 675000 | #Constraints: 19874
1837.32/1842.09 c #Conflicts: 676000 | #Constraints: 20874
1837.32/1842.09 c #Conflicts: 677000 | #Constraints: 21874
1837.32/1842.09 c #Conflicts: 678000 | #Constraints: 22874
1837.32/1842.09 c #Conflicts: 679000 | #Constraints: 23874
1837.32/1842.09 c #Conflicts: 680000 | #Constraints: 24874
1837.32/1842.09 c #Conflicts: 681000 | #Constraints: 25874
1837.32/1842.09 c #Conflicts: 682000 | #Constraints: 26874
1837.32/1842.09 c #Conflicts: 683000 | #Constraints: 27874
1837.32/1842.09 c #Conflicts: 684000 | #Constraints: 28874
1837.32/1842.09 c #Conflicts: 685000 | #Constraints: 29874
1837.32/1842.09 c #Conflicts: 686000 | #Constraints: 30874
1837.32/1842.09 c #Conflicts: 687000 | #Constraints: 31874
1837.32/1842.09 c #Conflicts: 688000 | #Constraints: 32874
1837.32/1842.09 c INPROCESSING
1837.32/1842.09 c GARBAGE COLLECT
1837.32/1842.09 c #Conflicts: 689000 | #Constraints: 17471
1837.32/1842.09 c #Conflicts: 690000 | #Constraints: 18471
1837.32/1842.09 c #Conflicts: 691000 | #Constraints: 19471
1837.32/1842.09 c #Conflicts: 692000 | #Constraints: 20471
1837.32/1842.09 c #Conflicts: 693000 | #Constraints: 21471
1837.32/1842.09 c #Conflicts: 694000 | #Constraints: 22471
1837.32/1842.09 c #Conflicts: 695000 | #Constraints: 23471
1837.32/1842.09 c #Conflicts: 696000 | #Constraints: 24471
1837.32/1842.09 c #Conflicts: 697000 | #Constraints: 25471
1837.32/1842.09 c #Conflicts: 698000 | #Constraints: 26471
1837.32/1842.09 c #Conflicts: 699000 | #Constraints: 27471
1837.32/1842.09 c #Conflicts: 700000 | #Constraints: 28471
1837.32/1842.09 c #Conflicts: 701000 | #Constraints: 29471
1837.32/1842.09 c #Conflicts: 702000 | #Constraints: 30471
1837.32/1842.09 c #Conflicts: 703000 | #Constraints: 31471
1837.32/1842.09 c #Conflicts: 704000 | #Constraints: 32471
1837.32/1842.09 c #Conflicts: 705000 | #Constraints: 33471
1837.32/1842.09 c INPROCESSING
1837.32/1842.09 c GARBAGE COLLECT
1837.32/1842.09 c #Conflicts: 706000 | #Constraints: 17874
1837.32/1842.09 c #Conflicts: 707000 | #Constraints: 18874
1837.32/1842.09 c #Conflicts: 708000 | #Constraints: 19874
1837.32/1842.09 c #Conflicts: 709000 | #Constraints: 20874
1837.32/1842.09 c #Conflicts: 710000 | #Constraints: 21874
1837.32/1842.09 c #Conflicts: 711000 | #Constraints: 22874
1837.32/1842.09 c #Conflicts: 712000 | #Constraints: 23874
1837.32/1842.09 c #Conflicts: 713000 | #Constraints: 24874
1837.32/1842.09 c #Conflicts: 714000 | #Constraints: 25874
1837.32/1842.09 c #Conflicts: 715000 | #Constraints: 26874
1837.32/1842.09 c #Conflicts: 716000 | #Constraints: 27874
1837.32/1842.09 c #Conflicts: 717000 | #Constraints: 28874
1837.32/1842.09 c #Conflicts: 718000 | #Constraints: 29874
1837.32/1842.09 c #Conflicts: 719000 | #Constraints: 30874
1837.32/1842.09 c #Conflicts: 720000 | #Constraints: 31874
1837.32/1842.09 c #Conflicts: 721000 | #Constraints: 32874
1837.32/1842.09 c #Conflicts: 722000 | #Constraints: 33874
1837.32/1842.09 c INPROCESSING
1837.32/1842.09 c GARBAGE COLLECT
1837.32/1842.09 c #Conflicts: 723000 | #Constraints: 18072
1837.32/1842.09 c #Conflicts: 724000 | #Constraints: 19072
1837.32/1842.09 c #Conflicts: 725000 | #Constraints: 20072
1837.32/1842.09 c #Conflicts: 726000 | #Constraints: 21072
1837.32/1842.09 c #Conflicts: 727000 | #Constraints: 22072
1837.32/1842.09 c #Conflicts: 728000 | #Constraints: 23072
1837.32/1842.09 c #Conflicts: 729000 | #Constraints: 24072
1837.32/1842.09 c #Conflicts: 730000 | #Constraints: 25072
1837.32/1842.09 c #Conflicts: 731000 | #Constraints: 26072
1837.32/1842.09 c #Conflicts: 732000 | #Constraints: 27072
1837.32/1842.09 c #Conflicts: 733000 | #Constraints: 28072
1837.32/1842.09 c #Conflicts: 734000 | #Constraints: 29072
1837.32/1842.09 c #Conflicts: 735000 | #Constraints: 30072
1837.32/1842.09 c #Conflicts: 736000 | #Constraints: 31072
1837.32/1842.09 c #Conflicts: 737000 | #Constraints: 32072
1837.32/1842.09 c #Conflicts: 738000 | #Constraints: 33072
2287.37/2293.27 c #Conflicts: 739000 | #Constraints: 34072
2287.37/2293.27 c INPROCESSING
2287.37/2293.27 c GARBAGE COLLECT
2287.37/2293.27 c #Conflicts: 740000 | #Constraints: 18071
2287.37/2293.27 c #Conflicts: 741000 | #Constraints: 19071
2287.37/2293.27 c #Conflicts: 742000 | #Constraints: 20071
2287.37/2293.27 c #Conflicts: 743000 | #Constraints: 21071
2287.37/2293.27 c #Conflicts: 744000 | #Constraints: 22071
2287.37/2293.27 c #Conflicts: 745000 | #Constraints: 23071
2287.37/2293.27 c #Conflicts: 746000 | #Constraints: 24071
2287.37/2293.27 c #Conflicts: 747000 | #Constraints: 25071
2287.37/2293.27 c #Conflicts: 748000 | #Constraints: 26071
2287.37/2293.27 c #Conflicts: 749000 | #Constraints: 27071
2287.37/2293.27 c #Conflicts: 750000 | #Constraints: 28071
2287.37/2293.27 c #Conflicts: 751000 | #Constraints: 29071
2287.37/2293.27 c #Conflicts: 752000 | #Constraints: 30071
2287.37/2293.27 c #Conflicts: 753000 | #Constraints: 31071
2287.37/2293.27 c #Conflicts: 754000 | #Constraints: 32071
2287.37/2293.27 c #Conflicts: 755000 | #Constraints: 33071
2287.37/2293.27 c #Conflicts: 756000 | #Constraints: 34071
2287.37/2293.27 c INPROCESSING
2287.37/2293.27 c GARBAGE COLLECT
2287.37/2293.27 c #Conflicts: 757000 | #Constraints: 17871
2287.37/2293.27 c #Conflicts: 758000 | #Constraints: 18871
2287.37/2293.27 c #Conflicts: 759000 | #Constraints: 19871
2287.37/2293.27 c #Conflicts: 760000 | #Constraints: 20871
2287.37/2293.27 c #Conflicts: 761000 | #Constraints: 21871
2287.37/2293.27 c #Conflicts: 762000 | #Constraints: 22871
2287.37/2293.27 c #Conflicts: 763000 | #Constraints: 23871
2287.37/2293.27 c #Conflicts: 764000 | #Constraints: 24871
2287.37/2293.27 c #Conflicts: 765000 | #Constraints: 25871
2287.37/2293.27 c #Conflicts: 766000 | #Constraints: 26871
2287.37/2293.27 c #Conflicts: 767000 | #Constraints: 27871
2287.37/2293.27 c #Conflicts: 768000 | #Constraints: 28871
2287.37/2293.27 c #Conflicts: 769000 | #Constraints: 29871
2287.37/2293.27 c #Conflicts: 770000 | #Constraints: 30871
2287.37/2293.27 c #Conflicts: 771000 | #Constraints: 31871
2287.37/2293.27 c #Conflicts: 772000 | #Constraints: 32871
2287.37/2293.27 c #Conflicts: 773000 | #Constraints: 33871
2287.37/2293.27 c #Conflicts: 774000 | #Constraints: 34871
2287.37/2293.27 c INPROCESSING
2287.37/2293.27 c GARBAGE COLLECT
2287.37/2293.27 c #Conflicts: 775000 | #Constraints: 18477
2287.37/2293.27 c #Conflicts: 776000 | #Constraints: 19477
2287.37/2293.27 c #Conflicts: 777000 | #Constraints: 20477
2287.37/2293.27 c #Conflicts: 778000 | #Constraints: 21477
2287.37/2293.27 c #Conflicts: 779000 | #Constraints: 22477
2287.37/2293.27 c #Conflicts: 780000 | #Constraints: 23477
2287.37/2293.27 c #Conflicts: 781000 | #Constraints: 24477
2287.37/2293.27 c #Conflicts: 782000 | #Constraints: 25477
2287.37/2293.27 c #Conflicts: 783000 | #Constraints: 26477
2287.37/2293.27 c #Conflicts: 784000 | #Constraints: 27477
2287.37/2293.27 c #Conflicts: 785000 | #Constraints: 28477
2287.37/2293.27 c #Conflicts: 786000 | #Constraints: 29477
2287.37/2293.27 c #Conflicts: 787000 | #Constraints: 30477
2287.37/2293.27 c #Conflicts: 788000 | #Constraints: 31477
2287.37/2293.27 c #Conflicts: 789000 | #Constraints: 32477
2287.37/2293.27 c #Conflicts: 790000 | #Constraints: 33477
2287.37/2293.27 c #Conflicts: 791000 | #Constraints: 34477
2287.37/2293.27 c #Conflicts: 792000 | #Constraints: 35477
2287.37/2293.27 c INPROCESSING
2287.37/2293.27 c GARBAGE COLLECT
2287.37/2293.27 c #Conflicts: 793000 | #Constraints: 18876
2287.37/2293.27 c #Conflicts: 794000 | #Constraints: 19876
2287.37/2293.27 c #Conflicts: 795000 | #Constraints: 20876
2287.37/2293.27 c #Conflicts: 796000 | #Constraints: 21876
2287.37/2293.27 c #Conflicts: 797000 | #Constraints: 22876
2287.37/2293.27 c #Conflicts: 798000 | #Constraints: 23876
2287.37/2293.27 c #Conflicts: 799000 | #Constraints: 24876
2287.37/2293.27 c #Conflicts: 800000 | #Constraints: 25876
2287.37/2293.27 c #Conflicts: 801000 | #Constraints: 26876
2287.37/2293.27 c #Conflicts: 802000 | #Constraints: 27876
2287.37/2293.27 c #Conflicts: 803000 | #Constraints: 28876
2287.37/2293.27 c #Conflicts: 804000 | #Constraints: 29876
2287.37/2293.27 c #Conflicts: 805000 | #Constraints: 30876
2287.37/2293.27 c #Conflicts: 806000 | #Constraints: 31876
2287.37/2293.27 c #Conflicts: 807000 | #Constraints: 32876
2287.37/2293.27 c #Conflicts: 808000 | #Constraints: 33876
2287.37/2293.27 c #Conflicts: 809000 | #Constraints: 34876
2287.37/2293.27 c #Conflicts: 810000 | #Constraints: 35876
2287.37/2293.27 c INPROCESSING
2287.37/2293.27 c GARBAGE COLLECT
2287.37/2293.27 c #Conflicts: 811000 | #Constraints: 19070
2287.37/2293.27 c #Conflicts: 812000 | #Constraints: 20070
2287.37/2293.27 c #Conflicts: 813000 | #Constraints: 21070
2287.37/2293.27 c #Conflicts: 814000 | #Constraints: 22070
2835.31/2842.52 c #Conflicts: 815000 | #Constraints: 23070
2835.31/2842.52 c #Conflicts: 816000 | #Constraints: 24070
2835.31/2842.52 c #Conflicts: 817000 | #Constraints: 25070
2835.31/2842.52 c #Conflicts: 818000 | #Constraints: 26070
2835.31/2842.52 c #Conflicts: 819000 | #Constraints: 27070
2835.31/2842.52 c #Conflicts: 820000 | #Constraints: 28070
2835.31/2842.52 c #Conflicts: 821000 | #Constraints: 29070
2835.31/2842.52 c #Conflicts: 822000 | #Constraints: 30070
2835.31/2842.52 c #Conflicts: 823000 | #Constraints: 31070
2835.31/2842.52 c #Conflicts: 824000 | #Constraints: 32070
2835.31/2842.52 c #Conflicts: 825000 | #Constraints: 33070
2835.31/2842.52 c #Conflicts: 826000 | #Constraints: 34070
2835.31/2842.52 c #Conflicts: 827000 | #Constraints: 35070
2835.31/2842.52 c #Conflicts: 828000 | #Constraints: 36070
2835.31/2842.52 c INPROCESSING
2835.31/2842.52 c GARBAGE COLLECT
2835.31/2842.52 c #Conflicts: 829000 | #Constraints: 19073
2835.31/2842.52 c #Conflicts: 830000 | #Constraints: 20073
2835.31/2842.52 c #Conflicts: 831000 | #Constraints: 21073
2835.31/2842.52 c #Conflicts: 832000 | #Constraints: 22073
2835.31/2842.52 c #Conflicts: 833000 | #Constraints: 23073
2835.31/2842.52 c #Conflicts: 834000 | #Constraints: 24073
2835.31/2842.52 c #Conflicts: 835000 | #Constraints: 25073
2835.31/2842.52 c #Conflicts: 836000 | #Constraints: 26073
2835.31/2842.52 c #Conflicts: 837000 | #Constraints: 27073
2835.31/2842.52 c #Conflicts: 838000 | #Constraints: 28073
2835.31/2842.52 c #Conflicts: 839000 | #Constraints: 29073
2835.31/2842.52 c #Conflicts: 840000 | #Constraints: 30073
2835.31/2842.52 c #Conflicts: 841000 | #Constraints: 31073
2835.31/2842.52 c #Conflicts: 842000 | #Constraints: 32073
2835.31/2842.52 c #Conflicts: 843000 | #Constraints: 33073
2835.31/2842.52 c #Conflicts: 844000 | #Constraints: 34073
2835.31/2842.52 c #Conflicts: 845000 | #Constraints: 35073
2835.31/2842.52 c #Conflicts: 846000 | #Constraints: 36073
2835.31/2842.52 c INPROCESSING
2835.31/2842.52 c GARBAGE COLLECT
2835.31/2842.52 c #Conflicts: 847000 | #Constraints: 18877
2835.31/2842.52 c #Conflicts: 848000 | #Constraints: 19877
2835.31/2842.52 c #Conflicts: 849000 | #Constraints: 20877
2835.31/2842.52 c #Conflicts: 850000 | #Constraints: 21877
2835.31/2842.52 c #Conflicts: 851000 | #Constraints: 22877
2835.31/2842.52 c #Conflicts: 852000 | #Constraints: 23877
2835.31/2842.52 c #Conflicts: 853000 | #Constraints: 24877
2835.31/2842.52 c #Conflicts: 854000 | #Constraints: 25877
2835.31/2842.52 c #Conflicts: 855000 | #Constraints: 26877
2835.31/2842.52 c #Conflicts: 856000 | #Constraints: 27877
2835.31/2842.52 c #Conflicts: 857000 | #Constraints: 28877
2835.31/2842.52 c #Conflicts: 858000 | #Constraints: 29877
2835.31/2842.52 c #Conflicts: 859000 | #Constraints: 30877
2835.31/2842.52 c #Conflicts: 860000 | #Constraints: 31877
2835.31/2842.52 c #Conflicts: 861000 | #Constraints: 32877
2835.31/2842.52 c #Conflicts: 862000 | #Constraints: 33877
2835.31/2842.52 c #Conflicts: 863000 | #Constraints: 34877
2835.31/2842.52 c #Conflicts: 864000 | #Constraints: 35877
2835.31/2842.52 c #Conflicts: 865000 | #Constraints: 36877
2835.31/2842.52 c INPROCESSING
2835.31/2842.52 c GARBAGE COLLECT
2835.31/2842.52 c #Conflicts: 866000 | #Constraints: 19476
2835.31/2842.52 c #Conflicts: 867000 | #Constraints: 20476
2835.31/2842.52 c #Conflicts: 868000 | #Constraints: 21476
2835.31/2842.52 c #Conflicts: 869000 | #Constraints: 22476
2835.31/2842.52 c #Conflicts: 870000 | #Constraints: 23476
2835.31/2842.52 c #Conflicts: 871000 | #Constraints: 24476
2835.31/2842.52 c #Conflicts: 872000 | #Constraints: 25476
2835.31/2842.52 c #Conflicts: 873000 | #Constraints: 26476
2835.31/2842.52 c #Conflicts: 874000 | #Constraints: 27476
2835.31/2842.52 c #Conflicts: 875000 | #Constraints: 28476
2835.31/2842.52 c #Conflicts: 876000 | #Constraints: 29476
2835.31/2842.52 c #Conflicts: 877000 | #Constraints: 30476
2835.31/2842.52 c #Conflicts: 878000 | #Constraints: 31476
2835.31/2842.52 c #Conflicts: 879000 | #Constraints: 32476
2835.31/2842.52 c #Conflicts: 880000 | #Constraints: 33476
2835.31/2842.52 c #Conflicts: 881000 | #Constraints: 34476
2835.31/2842.52 c #Conflicts: 882000 | #Constraints: 35476
2835.31/2842.52 c #Conflicts: 883000 | #Constraints: 36476
2835.31/2842.52 c #Conflicts: 884000 | #Constraints: 37476
2835.31/2842.52 c INPROCESSING
2835.31/2842.52 c GARBAGE COLLECT
2835.31/2842.52 c #Conflicts: 885000 | #Constraints: 19877
2835.31/2842.52 c #Conflicts: 886000 | #Constraints: 20877
2835.31/2842.52 c #Conflicts: 887000 | #Constraints: 21877
2835.31/2842.52 c #Conflicts: 888000 | #Constraints: 22877
2835.31/2842.52 c #Conflicts: 889000 | #Constraints: 23877
2835.31/2842.52 c #Conflicts: 890000 | #Constraints: 24877
3481.48/3490.38 c #Conflicts: 891000 | #Constraints: 25877
3481.48/3490.38 c #Conflicts: 892000 | #Constraints: 26877
3481.48/3490.38 c #Conflicts: 893000 | #Constraints: 27877
3481.48/3490.38 c #Conflicts: 894000 | #Constraints: 28877
3481.48/3490.38 c #Conflicts: 895000 | #Constraints: 29877
3481.48/3490.38 c #Conflicts: 896000 | #Constraints: 30877
3481.48/3490.38 c #Conflicts: 897000 | #Constraints: 31877
3481.48/3490.38 c #Conflicts: 898000 | #Constraints: 32877
3481.48/3490.38 c #Conflicts: 899000 | #Constraints: 33877
3481.48/3490.38 c #Conflicts: 900000 | #Constraints: 34877
3481.48/3490.38 c #Conflicts: 901000 | #Constraints: 35877
3481.48/3490.38 c #Conflicts: 902000 | #Constraints: 36877
3481.48/3490.38 c #Conflicts: 903000 | #Constraints: 37877
3481.48/3490.38 c INPROCESSING
3481.48/3490.38 c GARBAGE COLLECT
3481.48/3490.38 c #Conflicts: 904000 | #Constraints: 20075
3481.48/3490.38 c #Conflicts: 905000 | #Constraints: 21075
3481.48/3490.38 c #Conflicts: 906000 | #Constraints: 22075
3481.48/3490.38 c #Conflicts: 907000 | #Constraints: 23075
3481.48/3490.38 c #Conflicts: 908000 | #Constraints: 24075
3481.48/3490.38 c #Conflicts: 909000 | #Constraints: 25075
3481.48/3490.38 c #Conflicts: 910000 | #Constraints: 26075
3481.48/3490.38 c #Conflicts: 911000 | #Constraints: 27075
3481.48/3490.38 c #Conflicts: 912000 | #Constraints: 28075
3481.48/3490.38 c #Conflicts: 913000 | #Constraints: 29075
3481.48/3490.38 c #Conflicts: 914000 | #Constraints: 30075
3481.48/3490.38 c #Conflicts: 915000 | #Constraints: 31075
3481.48/3490.38 c #Conflicts: 916000 | #Constraints: 32075
3481.48/3490.38 c #Conflicts: 917000 | #Constraints: 33075
3481.48/3490.38 c #Conflicts: 918000 | #Constraints: 34075
3481.48/3490.38 c #Conflicts: 919000 | #Constraints: 35075
3481.48/3490.38 c #Conflicts: 920000 | #Constraints: 36075
3481.48/3490.38 c #Conflicts: 921000 | #Constraints: 37075
3481.48/3490.38 c #Conflicts: 922000 | #Constraints: 38075
3481.48/3490.38 c INPROCESSING
3481.48/3490.38 c GARBAGE COLLECT
3481.48/3490.38 c #Conflicts: 923000 | #Constraints: 20075
3481.48/3490.38 c #Conflicts: 924000 | #Constraints: 21075
3481.48/3490.38 c #Conflicts: 925000 | #Constraints: 22075
3481.48/3490.38 c #Conflicts: 926000 | #Constraints: 23075
3481.48/3490.38 c #Conflicts: 927000 | #Constraints: 24075
3481.48/3490.38 c #Conflicts: 928000 | #Constraints: 25075
3481.48/3490.38 c #Conflicts: 929000 | #Constraints: 26075
3481.48/3490.38 c #Conflicts: 930000 | #Constraints: 27075
3481.48/3490.38 c #Conflicts: 931000 | #Constraints: 28075
3481.48/3490.38 c #Conflicts: 932000 | #Constraints: 29075
3481.48/3490.38 c #Conflicts: 933000 | #Constraints: 30075
3481.48/3490.38 c #Conflicts: 934000 | #Constraints: 31075
3481.48/3490.38 c #Conflicts: 935000 | #Constraints: 32075
3481.48/3490.38 c #Conflicts: 936000 | #Constraints: 33075
3481.48/3490.38 c #Conflicts: 937000 | #Constraints: 34075
3481.48/3490.38 c #Conflicts: 938000 | #Constraints: 35075
3481.48/3490.38 c #Conflicts: 939000 | #Constraints: 36075
3481.48/3490.38 c #Conflicts: 940000 | #Constraints: 37075
3481.48/3490.38 c #Conflicts: 941000 | #Constraints: 38075
3481.48/3490.38 c INPROCESSING
3481.48/3490.38 c GARBAGE COLLECT
3481.48/3490.38 c #Conflicts: 942000 | #Constraints: 19875
3481.48/3490.38 c #Conflicts: 943000 | #Constraints: 20875
3481.48/3490.38 c #Conflicts: 944000 | #Constraints: 21875
3481.48/3490.38 c #Conflicts: 945000 | #Constraints: 22875
3481.48/3490.38 c #Conflicts: 946000 | #Constraints: 23875
3481.48/3490.38 c #Conflicts: 947000 | #Constraints: 24875
3481.48/3490.38 c #Conflicts: 948000 | #Constraints: 25875
3481.48/3490.38 c #Conflicts: 949000 | #Constraints: 26875
3481.48/3490.38 c #Conflicts: 950000 | #Constraints: 27875
3481.48/3490.38 c #Conflicts: 951000 | #Constraints: 28875
3481.48/3490.38 c #Conflicts: 952000 | #Constraints: 29875
3481.48/3490.38 c #Conflicts: 953000 | #Constraints: 30875
3481.48/3490.38 c #Conflicts: 954000 | #Constraints: 31875
3481.48/3490.38 c #Conflicts: 955000 | #Constraints: 32875
3481.48/3490.38 c #Conflicts: 956000 | #Constraints: 33875
3481.48/3490.38 c #Conflicts: 957000 | #Constraints: 34875
3481.48/3490.38 c #Conflicts: 958000 | #Constraints: 35875
3481.48/3490.38 c #Conflicts: 959000 | #Constraints: 36875
3481.48/3490.38 c #Conflicts: 960000 | #Constraints: 37875
3481.48/3490.38 c #Conflicts: 961000 | #Constraints: 38875
3481.48/3490.38 c INPROCESSING
3481.48/3490.38 c GARBAGE COLLECT
3481.48/3490.38 c #Conflicts: 962000 | #Constraints: 20470
3481.48/3490.38 c #Conflicts: 963000 | #Constraints: 21470
3481.48/3490.38 c #Conflicts: 964000 | #Constraints: 22470
3481.48/3490.38 c #Conflicts: 965000 | #Constraints: 23470
3481.48/3490.38 c #Conflicts: 966000 | #Constraints: 24470
3600.08/3609.20 c #Conflicts: 967000 | #Constraints: 25470
3600.08/3609.20 c #Conflicts: 968000 | #Constraints: 26470
3600.08/3609.20 c #Conflicts: 969000 | #Constraints: 27470
3600.08/3609.20 c #Conflicts: 970000 | #Constraints: 28470
3600.08/3609.20 c #Conflicts: 971000 | #Constraints: 29470
3600.08/3609.20 c #Conflicts: 972000 | #Constraints: 30470
3600.08/3609.20 c #Conflicts: 973000 | #Constraints: 31470
3600.08/3609.20 c #Conflicts: 974000 | #Constraints: 32470
3600.08/3609.20 c #Conflicts: 975000 | #Constraints: 33470
3600.08/3609.20 c #Conflicts: 976000 | #Constraints: 34470
3600.08/3609.20 c #Conflicts: 977000 | #Constraints: 35470
3600.08/3609.20 c #Conflicts: 978000 | #Constraints: 36470
3600.08/3609.20 c #Conflicts: 979000 | #Constraints: 37470
3600.08/3609.20 c Program interrupted by user.
3600.08/3609.20 c cpu time 3590.44 s
3600.08/3609.20 c deterministic time 418393158925 4.18e+11
3600.08/3609.20 c optimization time 145.649 s
3600.08/3609.20 c total solve time 3444.79 s
3600.08/3609.20 c core-guided solve time 3444.79 s
3600.08/3609.20 c propagation time 3188.3 s
3600.08/3609.20 c conflict analysis time 380.08 s
3600.08/3609.20 c propagations 53474140
3600.08/3609.20 c resolve steps 9440718
3600.08/3609.20 c decisions 5929062
3600.08/3609.20 c conflicts 979840
3600.08/3609.20 c restarts 2045
3600.08/3609.20 c inprocessing phases 89
3600.08/3609.20 c input clauses 29
3600.08/3609.20 c input cardinalities 205
3600.08/3609.20 c input general constraints 21
3600.08/3609.20 c input average constraint length 26.52
3600.08/3609.20 c input average constraint degree 10.35
3600.08/3609.20 c learned clauses 76184
3600.08/3609.20 c learned cardinalities 336
3600.08/3609.20 c learned general constraints 903321
3600.08/3609.20 c learned average constraint length 161.10
3600.08/3609.20 c learned average constraint degree 717487.50
3600.08/3609.20 c watched constraints 734640
3600.08/3609.20 c counting constraints 168702
3600.08/3609.20 c gcd simplifications 4038
3600.08/3609.20 c detected cardinalities 0
3600.08/3609.20 c weakened non-implied lits 19699240
3600.08/3609.20 c weakened non-implying lits 38722
3600.08/3609.20 c original variables 256
3600.08/3609.20 c clausal propagations 454670
3600.08/3609.20 c cardinality propagations 9416342
3600.08/3609.20 c watched propagations 4226902
3600.08/3609.20 c counting propagations 39004455
3600.08/3609.20 c watch lookups 65595489133
3600.08/3609.20 c watch backjump lookups 61759867688
3600.08/3609.20 c watch checks 179993386442
3600.08/3609.20 c propagation checks 110094547513
3600.08/3609.20 c constraint additions 830082170
3600.08/3609.20 c trail pops 60382776
3600.08/3609.20 c formula constraints 178
3600.08/3609.20 c learned constraints 979841
3600.08/3609.20 c bound constraints 18
3600.08/3609.20 c core-guided constraints 59
3600.08/3609.20 c encountered formula constraints 1533532
3600.08/3609.20 c encountered learned constraints 8603958
3600.08/3609.20 c encountered bound constraints 27378
3600.08/3609.20 c encountered core-guided constraints 255690
3600.08/3609.20 c LP total time 0 s
3600.08/3609.20 c LP solve time 0 s
3600.08/3609.20 c LP constraints added 0
3600.08/3609.20 c LP constraints removed 0
3600.08/3609.20 c LP pivots internal 0
3600.08/3609.20 c LP pivots root 0
3600.08/3609.20 c LP calls 0
3600.08/3609.20 c LP optimalities 0
3600.08/3609.20 c LP no pivot count 0
3600.08/3609.20 c LP infeasibilities 0
3600.08/3609.20 c LP valid Farkas constraints 0
3600.08/3609.20 c LP learned Farkas constraints 0
3600.08/3609.20 c LP basis resets 0
3600.08/3609.20 c LP cycling count 0
3600.08/3609.20 c LP singular count 0
3600.08/3609.20 c LP no primal count 0
3600.08/3609.20 c LP no farkas count 0
3600.08/3609.20 c LP other issue count 0
3600.08/3609.20 c LP Gomory cuts 0
3600.08/3609.20 c LP learned cuts 0
3600.08/3609.20 c LP deleted cuts 0
3600.08/3609.20 c LP encountered Gomory constraints 0
3600.08/3609.20 c LP encountered Farkas constraints 0
3600.08/3609.20 c LP encountered learned Farkas constraints 0
3600.08/3609.20 c CG auxiliary variables introduced 30
3600.08/3609.20 c CG solutions found 1
3600.08/3609.20 c CG cores constructed 17
3600.08/3609.20 c CG core cardinality constraints returned 15
3600.08/3609.20 c CG unit cores 0
3600.08/3609.20 c CG single cores 16
3600.08/3609.20 c CG blocks removed during cardinality reduction 0
3600.08/3609.20 c CG first core best 0
3600.08/3609.20 c CG decision core best 0
3600.08/3609.20 c CG core reduction tie 1
3600.08/3609.20 c CG core degree average 5.76
3600.08/3609.20 c CG core slack average 6.94
3600.08/3609.20 c CG exhausted 0
3600.08/3609.20 c CG exhaust time 2.18969 s
3600.08/3609.20 c CG trimmed 0
3600.08/3609.20 c CG trim time 0.000241 s
3600.08/3609.20 c CG minimized 0
3600.08/3609.20 c CG minimize time 0 s
3600.08/3609.20 c CG am1 prop time 0.000522 s
3600.08/3609.20 c CG # am1s reformulated 8
3600.08/3609.20 c CG lower bound derived from am1s 14
3600.08/3609.20 c CG # clausal cores 0
3600.08/3609.20 c CG # cardinality cores 15
3600.08/3609.20 c CG # pb cores 3
3600.08/3609.20 c CG # pb reforms 0
3600.08/3609.20 c CG # cores discarded because of pb reform 0
3600.08/3609.20 d LOWERBOUND 122
3600.08/3609.20 d NCORES 17
3600.08/3609.20 d NPBCORES 3
3600.08/3609.20 d NPBREFORM 0
3600.08/3609.20 d NTRIMMED 0
3600.08/3609.20 d NEXHAUSTED 0
3600.08/3609.20 d NAM1S 8
3600.08/3609.20 d AM1LB 14
3600.08/3609.20 o 125
3600.08/3609.20 s SATISFIABLE
3600.08/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: 63968 MiB (62798 MiB free)
memory of node 1: 64473 MiB (62832 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436132-1721165196/watcher-4436132-1721165196 -o /tmp/evaluation-result-4436132-1721165196/solver-4436132-1721165196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878135 --watchdog 3760 pb-oll-rs HOME/instance-4436132-1721165196.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=878190, runsolver pid=878187
[startup+0.100334 s]*
/proc/loadavg: 3.09 3.89 4.08 7/256 878197
/proc/meminfo: memFree=128633620/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=39708 memory=7460 CPUtime=0.09 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 707 0 0 0 9 0 0 0 20 0 1 0 168685772 40660992 1865 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 9927 1865 1339 291 0 1461 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39708 KiB
Current children cumulated memory: 7460 KiB
[startup+0.205541 s]*
/proc/loadavg: 3.09 3.89 4.08 8/256 878197
/proc/meminfo: memFree=128631000/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=40244 memory=8516 CPUtime=0.2 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 954 0 0 0 19 1 0 0 20 0 1 0 168685772 41209856 2129 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 10061 2129 1339 291 0 1595 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40244 KiB
Current children cumulated memory: 8516 KiB
[startup+0.304822 s]*
/proc/loadavg: 3.09 3.89 4.08 8/256 878197
/proc/meminfo: memFree=128627540/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=40380 memory=9008 CPUtime=0.3 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 1023 0 0 0 29 1 0 0 20 0 1 0 168685772 41349120 2252 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 10095 2252 1400 291 0 1629 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40380 KiB
Current children cumulated memory: 9008 KiB
[startup+0.700154 s]
/proc/loadavg: 3.09 3.89 4.08 5/253 878211
/proc/meminfo: memFree=128625512/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=41052 memory=11848 CPUtime=0.68 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 1277 0 0 0 66 2 0 0 20 0 1 0 168685772 42037248 2962 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 10263 2962 1400 291 0 1797 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41052 KiB
Current children cumulated memory: 11848 KiB
[startup+1.50016 s]
/proc/loadavg: 3.09 3.89 4.08 6/250 878274
/proc/meminfo: memFree=128626144/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=42276 memory=13212 CPUtime=1.49 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 1553 0 0 0 145 4 0 0 20 0 1 0 168685772 43290624 3303 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 10569 3303 1400 291 0 2103 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42276 KiB
Current children cumulated memory: 13212 KiB
[startup+3.10536 s]
/proc/loadavg: 3.09 3.89 4.08 7/256 878335
/proc/meminfo: memFree=128610700/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=43460 memory=14260 CPUtime=3.09 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 1846 0 0 0 302 7 0 0 20 0 1 0 168685772 44503040 3565 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 10865 3565 1400 291 0 2399 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43460 KiB
Current children cumulated memory: 14260 KiB
[startup+6.30015 s]
/proc/loadavg: 3.16 3.89 4.08 6/256 878335
/proc/meminfo: memFree=128599872/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=47524 memory=18384 CPUtime=6.27 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 2370 0 0 0 614 13 0 0 20 0 1 0 168685772 48664576 4596 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 11881 4596 1400 291 0 3415 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47524 KiB
Current children cumulated memory: 18384 KiB
[startup+12.7002 s]
/proc/loadavg: 3.23 3.89 4.08 6/256 878336
/proc/meminfo: memFree=128590472/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=49060 memory=19696 CPUtime=12.65 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 2729 0 0 0 1243 22 0 0 20 0 1 0 168685772 50237440 4924 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 12265 4924 1400 291 0 3799 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 49060 KiB
Current children cumulated memory: 19696 KiB
[startup+25.5002 s]
/proc/loadavg: 3.48 3.92 4.08 6/256 878338
/proc/meminfo: memFree=128569744/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=55244 memory=22108 CPUtime=25.42 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 3291 0 0 0 2506 36 0 0 20 0 1 0 168685772 56569856 5527 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 13811 5527 1400 291 0 5345 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 55244 KiB
Current children cumulated memory: 22108 KiB
[startup+51.1055 s]
/proc/loadavg: 3.73 3.94 4.09 6/256 878342
/proc/meminfo: memFree=128541136/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=58888 memory=28072 CPUtime=50.95 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 4308 0 0 0 5035 60 0 0 20 0 1 0 168685772 60301312 7018 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 14722 7018 1400 291 0 6256 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 58888 KiB
Current children cumulated memory: 28072 KiB
[startup+102.3 s]
/proc/loadavg: 4.01 3.98 4.09 6/258 878614
/proc/meminfo: memFree=128514780/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=69656 memory=35020 CPUtime=101.99 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 5570 0 0 0 10101 98 0 0 20 0 1 0 168685772 71327744 8755 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 17414 8755 1400 291 0 8948 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 69656 KiB
Current children cumulated memory: 35020 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.00 4.09 6/258 878626
/proc/meminfo: memFree=128478876/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=71844 memory=38952 CPUtime=161.8 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 6095 0 0 0 16046 134 0 0 20 0 1 0 168685772 73568256 9738 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 17961 9738 1400 291 0 9495 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 71844 KiB
Current children cumulated memory: 38952 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.04 4.10 6/259 878693
/proc/meminfo: memFree=128445592/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=74892 memory=43756 CPUtime=221.62 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 6787 0 0 0 21997 165 0 0 20 0 1 0 168685772 76689408 10939 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 18723 10939 1400 291 0 10257 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 74892 KiB
Current children cumulated memory: 43756 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.05 4.09 6/259 878706
/proc/meminfo: memFree=128420264/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=88256 memory=45572 CPUtime=281.43 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 7321 0 0 0 27943 200 0 0 20 0 1 0 168685772 90374144 11393 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 22064 11393 1400 291 0 13598 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 88256 KiB
Current children cumulated memory: 45572 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.05 4.09 6/258 878716
/proc/meminfo: memFree=128393348/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=89540 memory=49548 CPUtime=341.26 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 7892 0 0 0 33896 230 0 0 20 0 1 0 168685772 91688960 12387 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 22385 12387 1400 291 0 13919 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 89540 KiB
Current children cumulated memory: 49548 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.06 4.09 6/256 878727
/proc/meminfo: memFree=128375520/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=92400 memory=53180 CPUtime=401.13 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 8428 0 0 0 39862 251 0 0 20 0 1 0 168685772 94617600 13295 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 23100 13295 1400 291 0 14634 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 92400 KiB
Current children cumulated memory: 53180 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.06 4.09 6/256 878738
/proc/meminfo: memFree=128355676/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=94064 memory=56816 CPUtime=460.98 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 8870 0 0 0 45824 274 0 0 20 0 1 0 168685772 96321536 14204 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 23516 14204 1400 291 0 15050 0
################
# More data... #
################
Current children cumulated memory: 89508 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.13 4.15 6/256 880277
/proc/meminfo: memFree=127943460/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=131760 memory=91748 CPUtime=2855.06 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 14453 0 0 0 284675 831 0 0 20 0 1 0 168685772 134922240 22937 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 32940 22937 1400 291 0 24474 0
Current children cumulated CPU time: 2855.06 s
Current children cumulated vsize: 131760 KiB
Current children cumulated memory: 91748 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.12 4.14 6/255 880287
/proc/meminfo: memFree=127935848/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=131760 memory=91748 CPUtime=2914.92 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 14495 0 0 0 290652 840 0 0 20 0 1 0 168685772 134922240 22937 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 32940 22937 1400 291 0 24474 0
Current children cumulated CPU time: 2914.92 s
Current children cumulated vsize: 131760 KiB
Current children cumulated memory: 91748 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.14 6/255 880297
/proc/meminfo: memFree=127925796/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=132668 memory=92156 CPUtime=2974.77 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 14683 0 0 0 296626 851 0 0 20 0 1 0 168685772 135852032 23039 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 33167 23039 1400 291 0 24701 0
Current children cumulated CPU time: 2974.77 s
Current children cumulated vsize: 132668 KiB
Current children cumulated memory: 92156 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.14 6/254 880308
/proc/meminfo: memFree=127923388/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=132668 memory=92248 CPUtime=3034.61 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 14721 0 0 0 302599 862 0 0 20 0 1 0 168685772 135852032 23062 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 33167 23062 1400 291 0 24701 0
Current children cumulated CPU time: 3034.61 s
Current children cumulated vsize: 132668 KiB
Current children cumulated memory: 92248 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.14 6/254 880318
/proc/meminfo: memFree=127903268/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=133188 memory=92516 CPUtime=3094.46 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 14834 0 0 0 308574 872 0 0 20 0 1 0 168685772 136384512 23129 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 33297 23129 1400 291 0 24831 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 133188 KiB
Current children cumulated memory: 92516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.14 4.14 6/254 880328
/proc/meminfo: memFree=127890916/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=133968 memory=93000 CPUtime=3154.3 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 14983 0 0 0 314547 883 0 0 20 0 1 0 168685772 137183232 23250 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 33492 23250 1400 291 0 25026 0
Current children cumulated CPU time: 3154.3 s
Current children cumulated vsize: 133968 KiB
Current children cumulated memory: 93000 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.15 4.14 6/256 880343
/proc/meminfo: memFree=127886896/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=133968 memory=93000 CPUtime=3214.16 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 15023 0 0 0 320520 896 0 0 20 0 1 0 168685772 137183232 23250 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 33492 23250 1400 291 0 25026 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 133968 KiB
Current children cumulated memory: 93000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.14 6/256 880354
/proc/meminfo: memFree=127880176/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=134876 memory=93456 CPUtime=3274.01 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 15213 0 0 0 326497 904 0 0 20 0 1 0 168685772 138113024 23364 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 33719 23364 1400 291 0 25253 0
Current children cumulated CPU time: 3274.01 s
Current children cumulated vsize: 134876 KiB
Current children cumulated memory: 93456 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.14 6/256 880364
/proc/meminfo: memFree=127875540/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=134876 memory=95336 CPUtime=3333.86 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 15249 0 0 0 332466 920 0 0 20 0 1 0 168685772 138113024 23834 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 33719 23834 1400 291 0 25253 0
Current children cumulated CPU time: 3333.86 s
Current children cumulated vsize: 134876 KiB
Current children cumulated memory: 95336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.14 6/256 880375
/proc/meminfo: memFree=127848356/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=134876 memory=95340 CPUtime=3393.7 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 15291 0 0 0 338440 930 0 0 20 0 1 0 168685772 138113024 23835 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 33719 23835 1400 291 0 25253 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 134876 KiB
Current children cumulated memory: 95340 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.14 7/256 880386
/proc/meminfo: memFree=127831588/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=135136 memory=97528 CPUtime=3453.55 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 15376 0 0 0 344418 937 0 0 20 0 1 0 168685772 138379264 24382 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 33784 24382 1400 291 0 25318 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 135136 KiB
Current children cumulated memory: 97528 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.13 6/256 880779
/proc/meminfo: memFree=127770712/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=135396 memory=97680 CPUtime=3513.4 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 15445 0 0 0 350388 952 0 0 20 0 1 0 168685772 138645504 24420 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 33849 24420 1400 291 0 25383 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 135396 KiB
Current children cumulated memory: 97680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.13 6/256 880789
/proc/meminfo: memFree=127624284/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=135396 memory=97692 CPUtime=3573.25 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 15490 0 0 0 356365 960 0 0 20 0 1 0 168685772 138645504 24423 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 33849 24423 1400 291 0 25383 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 135396 KiB
Current children cumulated memory: 97692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.09 4.12 4.13 6/256 880794
/proc/meminfo: memFree=127591684/131524600 swapFree=131071996/131071996
[pid=878190] ppid=878187 vsize=135396 memory=97692 CPUtime=3600.08 cores=1,3
/proc/878190/stat : 878190 (pb-oll-rs) R 878187 878190 878123 0 -1 4194304 15495 0 0 0 359044 964 0 0 20 0 1 0 168685772 138645504 24423 134679101440 4194304 5384005 140725710261888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 30748672 140725710263319 140725710263396 140725710263396 140725710270411 0
/proc/878190/statm: 33849 24423 1400 291 0 25383 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 135396 KiB
Current children cumulated memory: 97692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 878190 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.45 s, system=9.64318 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.09
CPU user time (s): 3590.45
CPU system time (s): 9.64318
CPU usage (%): 99.7475
Max. virtual memory (cumulated for all children) (KiB): 135396
Max. memory (cumulated for all children) (KiB): 97692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.45
system time used= 9.64318
maximum resident set size= 97804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15511
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= 31
involuntary context switches= 1882
# summary of solver processes directly reported to runsolver:
# pid: 878190
# total CPU time (s): 3600.09
# total CPU user time (s): 3590.45
# total CPU system time (s): 9.64318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.90731 second user time and 16.2072 second system time
The end
Begin job on nodeC026 at 2024-07-16 23:26:49
IDJOB=4436132
IDBENCH=158407
IDSOLVER=3067
FILE ID=nodeC026/4436132-1721165196
RUNJOBID= nodeC026-1721165209-878135
SLURM_JOB_ID= 7505787
Free space on /tmp= 890080 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4436132-1721165196/watcher-4436132-1721165196 -o /tmp/evaluation-result-4436132-1721165196/solver-4436132-1721165196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878135 --watchdog 3760 pb-oll-rs HOME/instance-4436132-1721165196.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5c8bdd7bf429ca5545e1ed59def685f5
RANDOM SEED=1013763444
nodeC026.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 : 3624.118
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.74
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 : 3038.503
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3645.152
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.74
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 : 3547.613
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3496.648
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.74
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 : 3564.918
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3582.139
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.74
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 : 3128.917
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128656816 kB
MemAvailable: 129749192 kB
Buffers: 441992 kB
Cached: 1481104 kB
SwapCached: 0 kB
Active: 825768 kB
Inactive: 1431084 kB
Active(anon): 1480 kB
Inactive(anon): 370300 kB
Active(file): 824288 kB
Inactive(file): 1060784 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 8192 kB
Writeback: 0 kB
AnonPages: 330824 kB
Mapped: 104424 kB
Shmem: 37720 kB
KReclaimable: 94252 kB
Slab: 201924 kB
SReclaimable: 94252 kB
SUnreclaim: 107672 kB
KernelStack: 3936 kB
PageTables: 10524 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 692020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 210944 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: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC026 at 2024-07-17 00:26:58