0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.08 c [STEP] solving
0.00/0.08 c #variables 200 #constraints 17013
0.00/0.08 c SMALL=int, LARGE=long long
0.00/0.08 c bounds - >= -200 @ 0.049361
0.00/0.08 c stratification level: 0
0.19/0.27 c bounds - >= -140 @ 0.050906
0.19/0.27 c bounds - >= -139 @ 0.051292
0.19/0.27 c bounds - >= -138 @ 0.051404
0.19/0.27 c bounds - >= -137 @ 0.051503
0.19/0.27 c bounds - >= -136 @ 0.051594
0.19/0.27 c bounds - >= -135 @ 0.051701
0.19/0.27 c bounds - >= -134 @ 0.051798
0.19/0.27 c bounds - >= -133 @ 0.05195
0.19/0.27 c bounds - >= -132 @ 0.052034
0.19/0.27 c bounds - >= -131 @ 0.05215
0.19/0.27 c bounds - >= -130 @ 0.052289
0.19/0.27 c bounds - >= -129 @ 0.052373
0.19/0.27 c bounds - >= -128 @ 0.052652
0.19/0.27 c bounds - >= -127 @ 0.052936
0.19/0.27 c bounds - >= -126 @ 0.053164
0.19/0.27 c bounds - >= -125 @ 0.054263
0.19/0.27 c #Conflicts: 1000 | #Constraints: 18096
0.19/0.27 c #Conflicts: 2000 | #Constraints: 19096
0.19/0.27 c INPROCESSING
0.19/0.27 c #Conflicts: 3000 | #Constraints: 19082
0.19/0.27 c finalizing WCE round: reformulating cores
21.03/21.16 c bounds -45 >= -140 @ 0.239428
21.03/21.16 c #Conflicts: 4000 | #Constraints: 20087
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 5000 | #Constraints: 19427
21.03/21.16 c #Conflicts: 6000 | #Constraints: 20429
21.03/21.16 c bounds -45 >= -137 @ 0.418603
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 7000 | #Constraints: 19360
21.03/21.16 c bounds -48 >= -135 @ 0.508521
21.03/21.16 c #Conflicts: 8000 | #Constraints: 20365
21.03/21.16 c #Conflicts: 9000 | #Constraints: 21369
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 10000 | #Constraints: 20104
21.03/21.16 c #Conflicts: 11000 | #Constraints: 21106
21.03/21.16 c #Conflicts: 12000 | #Constraints: 22108
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 13000 | #Constraints: 20614
21.03/21.16 c #Conflicts: 14000 | #Constraints: 21616
21.03/21.16 c #Conflicts: 15000 | #Constraints: 22618
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 16000 | #Constraints: 20868
21.03/21.16 c #Conflicts: 17000 | #Constraints: 21870
21.03/21.16 c #Conflicts: 18000 | #Constraints: 22872
21.03/21.16 c bounds -49 >= -122 @ 1.34607
21.03/21.16 c bounds -49 >= -121 @ 1.34669
21.03/21.16 c bounds -49 >= -120 @ 1.34751
21.03/21.16 c bounds -49 >= -119 @ 1.35264
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 19000 | #Constraints: 20949
21.03/21.16 c #Conflicts: 20000 | #Constraints: 21949
21.03/21.16 c bounds -49 >= -118 @ 1.55545
21.03/21.16 c #Conflicts: 21000 | #Constraints: 22989
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 22000 | #Constraints: 20782
21.03/21.16 c #Conflicts: 23000 | #Constraints: 21782
21.03/21.16 c #Conflicts: 24000 | #Constraints: 22782
21.03/21.16 c #Conflicts: 25000 | #Constraints: 23782
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 26000 | #Constraints: 21383
21.03/21.16 c #Conflicts: 27000 | #Constraints: 22383
21.03/21.16 c #Conflicts: 28000 | #Constraints: 23383
21.03/21.16 c #Conflicts: 29000 | #Constraints: 24383
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 30000 | #Constraints: 21780
21.03/21.16 c #Conflicts: 31000 | #Constraints: 22780
21.03/21.16 c #Conflicts: 32000 | #Constraints: 23780
21.03/21.16 c #Conflicts: 33000 | #Constraints: 24780
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 34000 | #Constraints: 21975
21.03/21.16 c #Conflicts: 35000 | #Constraints: 22975
21.03/21.16 c #Conflicts: 36000 | #Constraints: 23975
21.03/21.16 c #Conflicts: 37000 | #Constraints: 24975
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 38000 | #Constraints: 21980
21.03/21.16 c #Conflicts: 39000 | #Constraints: 22980
21.03/21.16 c #Conflicts: 40000 | #Constraints: 23980
21.03/21.16 c #Conflicts: 41000 | #Constraints: 24980
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 42000 | #Constraints: 21782
21.03/21.16 c #Conflicts: 43000 | #Constraints: 22782
21.03/21.16 c #Conflicts: 44000 | #Constraints: 23782
21.03/21.16 c #Conflicts: 45000 | #Constraints: 24782
21.03/21.16 c #Conflicts: 46000 | #Constraints: 25782
21.03/21.16 c #Conflicts: 47000 | #Constraints: 26782
21.03/21.16 c #Conflicts: 48000 | #Constraints: 27782
21.03/21.16 c #Conflicts: 49000 | #Constraints: 28782
21.03/21.16 c #Conflicts: 50000 | #Constraints: 29782
21.03/21.16 c #Conflicts: 51000 | #Constraints: 30782
21.03/21.16 c #Conflicts: 52000 | #Constraints: 31782
21.03/21.16 c #Conflicts: 53000 | #Constraints: 32782
21.03/21.16 c #Conflicts: 54000 | #Constraints: 33782
21.03/21.16 c #Conflicts: 55000 | #Constraints: 34782
21.03/21.16 c #Conflicts: 56000 | #Constraints: 35782
21.03/21.16 c #Conflicts: 57000 | #Constraints: 36782
21.03/21.16 c #Conflicts: 58000 | #Constraints: 37782
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 59000 | #Constraints: 28085
21.03/21.16 c #Conflicts: 60000 | #Constraints: 29085
21.03/21.16 c #Conflicts: 61000 | #Constraints: 30085
21.03/21.16 c #Conflicts: 62000 | #Constraints: 31085
21.03/21.16 c #Conflicts: 63000 | #Constraints: 32085
21.03/21.16 c #Conflicts: 64000 | #Constraints: 33085
21.03/21.16 c INPROCESSING
21.03/21.16 c GARBAGE COLLECT
21.03/21.16 c #Conflicts: 65000 | #Constraints: 25888
21.03/21.16 c #Conflicts: 66000 | #Constraints: 26888
21.03/21.16 c #Conflicts: 67000 | #Constraints: 27888
21.03/21.16 c #Conflicts: 68000 | #Constraints: 28888
21.03/21.16 c #Conflicts: 69000 | #Constraints: 29888
88.86/89.11 c #Conflicts: 70000 | #Constraints: 30888
88.86/89.11 c INPROCESSING
88.86/89.11 c GARBAGE COLLECT
88.86/89.11 c #Conflicts: 71000 | #Constraints: 24841
88.86/89.11 c #Conflicts: 72000 | #Constraints: 25841
88.86/89.11 c #Conflicts: 73000 | #Constraints: 26841
88.86/89.11 c #Conflicts: 74000 | #Constraints: 27841
88.86/89.11 c #Conflicts: 75000 | #Constraints: 28841
88.86/89.11 c #Conflicts: 76000 | #Constraints: 29841
88.86/89.11 c #Conflicts: 77000 | #Constraints: 30841
88.86/89.11 c #Conflicts: 78000 | #Constraints: 31841
88.86/89.11 c #Conflicts: 79000 | #Constraints: 32841
88.86/89.11 c #Conflicts: 80000 | #Constraints: 33841
88.86/89.11 c #Conflicts: 81000 | #Constraints: 34841
88.86/89.11 c #Conflicts: 82000 | #Constraints: 35841
88.86/89.11 c #Conflicts: 83000 | #Constraints: 36841
88.86/89.11 c #Conflicts: 84000 | #Constraints: 37841
88.86/89.11 c #Conflicts: 85000 | #Constraints: 38841
88.86/89.11 c #Conflicts: 86000 | #Constraints: 39841
88.86/89.11 c #Conflicts: 87000 | #Constraints: 40841
88.86/89.11 c #Conflicts: 88000 | #Constraints: 41841
88.86/89.11 c #Conflicts: 89000 | #Constraints: 42841
88.86/89.11 c #Conflicts: 90000 | #Constraints: 43841
88.86/89.11 c #Conflicts: 91000 | #Constraints: 44841
88.86/89.11 c INPROCESSING
88.86/89.11 c GARBAGE COLLECT
88.86/89.11 c #Conflicts: 92000 | #Constraints: 31620
88.86/89.11 c #Conflicts: 93000 | #Constraints: 32620
88.86/89.11 c #Conflicts: 94000 | #Constraints: 33620
88.86/89.11 c #Conflicts: 95000 | #Constraints: 34620
88.86/89.11 c #Conflicts: 96000 | #Constraints: 35620
88.86/89.11 c #Conflicts: 97000 | #Constraints: 36620
88.86/89.11 c #Conflicts: 98000 | #Constraints: 37620
88.86/89.11 c #Conflicts: 99000 | #Constraints: 38620
88.86/89.11 c INPROCESSING
88.86/89.11 c GARBAGE COLLECT
88.86/89.11 c #Conflicts: 100000 | #Constraints: 28907
88.86/89.11 c #Conflicts: 101000 | #Constraints: 29907
88.86/89.11 c #Conflicts: 102000 | #Constraints: 30907
88.86/89.11 c #Conflicts: 103000 | #Constraints: 31907
88.86/89.11 c #Conflicts: 104000 | #Constraints: 32907
88.86/89.11 c #Conflicts: 105000 | #Constraints: 33907
88.86/89.11 c #Conflicts: 106000 | #Constraints: 34907
88.86/89.11 c INPROCESSING
88.86/89.11 c GARBAGE COLLECT
88.86/89.11 c #Conflicts: 107000 | #Constraints: 26857
88.86/89.11 c #Conflicts: 108000 | #Constraints: 27857
88.86/89.11 c #Conflicts: 109000 | #Constraints: 28857
88.86/89.11 c #Conflicts: 110000 | #Constraints: 29857
88.86/89.11 c #Conflicts: 111000 | #Constraints: 30857
88.86/89.11 c #Conflicts: 112000 | #Constraints: 31857
88.86/89.11 c #Conflicts: 113000 | #Constraints: 32857
88.86/89.11 c #Conflicts: 114000 | #Constraints: 33857
88.86/89.11 c #Conflicts: 115000 | #Constraints: 34857
88.86/89.11 c #Conflicts: 116000 | #Constraints: 35857
88.86/89.11 c #Conflicts: 117000 | #Constraints: 36857
88.86/89.11 c #Conflicts: 118000 | #Constraints: 37857
88.86/89.11 c #Conflicts: 119000 | #Constraints: 38857
88.86/89.11 c #Conflicts: 120000 | #Constraints: 39857
88.86/89.11 c #Conflicts: 121000 | #Constraints: 40857
88.86/89.11 c #Conflicts: 122000 | #Constraints: 41857
88.86/89.11 c #Conflicts: 123000 | #Constraints: 42857
88.86/89.11 c #Conflicts: 124000 | #Constraints: 43857
88.86/89.11 c #Conflicts: 125000 | #Constraints: 44857
88.86/89.11 c #Conflicts: 126000 | #Constraints: 45857
88.86/89.11 c #Conflicts: 127000 | #Constraints: 46857
88.86/89.11 c #Conflicts: 128000 | #Constraints: 47857
88.86/89.11 c #Conflicts: 129000 | #Constraints: 48857
88.86/89.11 c #Conflicts: 130000 | #Constraints: 49857
88.86/89.11 c #Conflicts: 131000 | #Constraints: 50857
88.86/89.11 c #Conflicts: 132000 | #Constraints: 51857
88.86/89.11 c INPROCESSING
88.86/89.11 c GARBAGE COLLECT
88.86/89.11 c #Conflicts: 133000 | #Constraints: 35532
88.86/89.11 c #Conflicts: 134000 | #Constraints: 36532
88.86/89.11 c #Conflicts: 135000 | #Constraints: 37532
88.86/89.11 c #Conflicts: 136000 | #Constraints: 38532
88.86/89.11 c #Conflicts: 137000 | #Constraints: 39532
88.86/89.11 c #Conflicts: 138000 | #Constraints: 40532
88.86/89.11 c #Conflicts: 139000 | #Constraints: 41532
88.86/89.11 c #Conflicts: 140000 | #Constraints: 42532
88.86/89.11 c INPROCESSING
88.86/89.11 c GARBAGE COLLECT
88.86/89.11 c #Conflicts: 141000 | #Constraints: 30515
88.86/89.11 c #Conflicts: 142000 | #Constraints: 31515
88.86/89.11 c #Conflicts: 143000 | #Constraints: 32515
88.86/89.11 c #Conflicts: 144000 | #Constraints: 33515
182.30/182.84 c #Conflicts: 145000 | #Constraints: 34515
182.30/182.84 c #Conflicts: 146000 | #Constraints: 35515
182.30/182.84 c #Conflicts: 147000 | #Constraints: 36515
182.30/182.84 c #Conflicts: 148000 | #Constraints: 37515
182.30/182.84 c #Conflicts: 149000 | #Constraints: 38515
182.30/182.84 c INPROCESSING
182.30/182.84 c GARBAGE COLLECT
182.30/182.84 c #Conflicts: 150000 | #Constraints: 28559
182.30/182.84 c #Conflicts: 151000 | #Constraints: 29559
182.30/182.84 c #Conflicts: 152000 | #Constraints: 30559
182.30/182.84 c #Conflicts: 153000 | #Constraints: 31559
182.30/182.84 c #Conflicts: 154000 | #Constraints: 32559
182.30/182.84 c #Conflicts: 155000 | #Constraints: 33559
182.30/182.84 c #Conflicts: 156000 | #Constraints: 34559
182.30/182.84 c #Conflicts: 157000 | #Constraints: 35559
182.30/182.84 c #Conflicts: 158000 | #Constraints: 36559
182.30/182.84 c #Conflicts: 159000 | #Constraints: 37559
182.30/182.84 c #Conflicts: 160000 | #Constraints: 38559
182.30/182.84 c #Conflicts: 161000 | #Constraints: 39559
182.30/182.84 c #Conflicts: 162000 | #Constraints: 40559
182.30/182.84 c #Conflicts: 163000 | #Constraints: 41559
182.30/182.84 c #Conflicts: 164000 | #Constraints: 42559
182.30/182.84 c #Conflicts: 165000 | #Constraints: 43559
182.30/182.84 c #Conflicts: 166000 | #Constraints: 44559
182.30/182.84 c #Conflicts: 167000 | #Constraints: 45559
182.30/182.84 c #Conflicts: 168000 | #Constraints: 46559
182.30/182.84 c #Conflicts: 169000 | #Constraints: 47559
182.30/182.84 c #Conflicts: 170000 | #Constraints: 48559
182.30/182.84 c #Conflicts: 171000 | #Constraints: 49559
182.30/182.84 c #Conflicts: 172000 | #Constraints: 50559
182.30/182.84 c #Conflicts: 173000 | #Constraints: 51559
182.30/182.84 c #Conflicts: 174000 | #Constraints: 52559
182.30/182.84 c #Conflicts: 175000 | #Constraints: 53559
182.30/182.84 c #Conflicts: 176000 | #Constraints: 54559
182.30/182.84 c #Conflicts: 177000 | #Constraints: 55559
182.30/182.84 c #Conflicts: 178000 | #Constraints: 56559
182.30/182.84 c #Conflicts: 179000 | #Constraints: 57559
182.30/182.84 c INPROCESSING
182.30/182.84 c GARBAGE COLLECT
182.30/182.84 c #Conflicts: 180000 | #Constraints: 38190
182.30/182.84 c #Conflicts: 181000 | #Constraints: 39190
182.30/182.84 c #Conflicts: 182000 | #Constraints: 40190
182.30/182.84 c #Conflicts: 183000 | #Constraints: 41190
182.30/182.84 c #Conflicts: 184000 | #Constraints: 42190
182.30/182.84 c #Conflicts: 185000 | #Constraints: 43190
182.30/182.84 c #Conflicts: 186000 | #Constraints: 44190
182.30/182.84 c #Conflicts: 187000 | #Constraints: 45190
182.30/182.84 c #Conflicts: 188000 | #Constraints: 46190
182.30/182.84 c #Conflicts: 189000 | #Constraints: 47190
182.30/182.84 c INPROCESSING
182.30/182.84 c GARBAGE COLLECT
182.30/182.84 c #Conflicts: 190000 | #Constraints: 32902
182.30/182.84 c #Conflicts: 191000 | #Constraints: 33902
182.30/182.84 c #Conflicts: 192000 | #Constraints: 34902
182.30/182.84 c #Conflicts: 193000 | #Constraints: 35902
182.30/182.84 c #Conflicts: 194000 | #Constraints: 36902
182.30/182.84 c #Conflicts: 195000 | #Constraints: 37902
182.30/182.84 c #Conflicts: 196000 | #Constraints: 38902
182.30/182.84 c #Conflicts: 197000 | #Constraints: 39902
182.30/182.84 c #Conflicts: 198000 | #Constraints: 40902
182.30/182.84 c #Conflicts: 199000 | #Constraints: 41902
182.30/182.84 c #Conflicts: 200000 | #Constraints: 42902
182.30/182.84 c INPROCESSING
182.30/182.84 c GARBAGE COLLECT
182.30/182.84 c #Conflicts: 201000 | #Constraints: 31900
182.30/182.84 c #Conflicts: 202000 | #Constraints: 32900
182.30/182.84 c #Conflicts: 203000 | #Constraints: 33900
182.30/182.84 c #Conflicts: 204000 | #Constraints: 34900
182.30/182.84 c #Conflicts: 205000 | #Constraints: 35900
182.30/182.84 c #Conflicts: 206000 | #Constraints: 36900
182.30/182.84 c #Conflicts: 207000 | #Constraints: 37900
182.30/182.84 c #Conflicts: 208000 | #Constraints: 38900
182.30/182.84 c #Conflicts: 209000 | #Constraints: 39900
182.30/182.84 c #Conflicts: 210000 | #Constraints: 40900
182.30/182.84 c #Conflicts: 211000 | #Constraints: 41900
182.30/182.84 c #Conflicts: 212000 | #Constraints: 42900
182.30/182.84 c #Conflicts: 213000 | #Constraints: 43900
182.30/182.84 c #Conflicts: 214000 | #Constraints: 44900
182.30/182.84 c #Conflicts: 215000 | #Constraints: 45900
182.30/182.84 c #Conflicts: 216000 | #Constraints: 46900
182.30/182.84 c #Conflicts: 217000 | #Constraints: 47900
182.30/182.84 c #Conflicts: 218000 | #Constraints: 48900
182.30/182.84 c #Conflicts: 219000 | #Constraints: 49900
182.30/182.84 c #Conflicts: 220000 | #Constraints: 50900
322.00/322.93 c #Conflicts: 221000 | #Constraints: 51900
322.00/322.93 c #Conflicts: 222000 | #Constraints: 52900
322.00/322.93 c #Conflicts: 223000 | #Constraints: 53900
322.00/322.93 c #Conflicts: 224000 | #Constraints: 54900
322.00/322.93 c #Conflicts: 225000 | #Constraints: 55900
322.00/322.93 c #Conflicts: 226000 | #Constraints: 56900
322.00/322.93 c #Conflicts: 227000 | #Constraints: 57900
322.00/322.93 c #Conflicts: 228000 | #Constraints: 58900
322.00/322.93 c #Conflicts: 229000 | #Constraints: 59900
322.00/322.93 c #Conflicts: 230000 | #Constraints: 60900
322.00/322.93 c #Conflicts: 231000 | #Constraints: 61900
322.00/322.93 c #Conflicts: 232000 | #Constraints: 62900
322.00/322.93 c #Conflicts: 233000 | #Constraints: 63900
322.00/322.93 c #Conflicts: 234000 | #Constraints: 64900
322.00/322.93 c INPROCESSING
322.00/322.93 c GARBAGE COLLECT
322.00/322.93 c #Conflicts: 235000 | #Constraints: 42052
322.00/322.93 c #Conflicts: 236000 | #Constraints: 43052
322.00/322.93 c #Conflicts: 237000 | #Constraints: 44052
322.00/322.93 c #Conflicts: 238000 | #Constraints: 45052
322.00/322.93 c #Conflicts: 239000 | #Constraints: 46052
322.00/322.93 c #Conflicts: 240000 | #Constraints: 47052
322.00/322.93 c #Conflicts: 241000 | #Constraints: 48052
322.00/322.93 c #Conflicts: 242000 | #Constraints: 49052
322.00/322.93 c #Conflicts: 243000 | #Constraints: 50052
322.00/322.93 c #Conflicts: 244000 | #Constraints: 51052
322.00/322.93 c #Conflicts: 245000 | #Constraints: 52052
322.00/322.93 c INPROCESSING
322.00/322.93 c GARBAGE COLLECT
322.00/322.93 c #Conflicts: 246000 | #Constraints: 35284
322.00/322.93 c #Conflicts: 247000 | #Constraints: 36284
322.00/322.93 c #Conflicts: 248000 | #Constraints: 37284
322.00/322.93 c #Conflicts: 249000 | #Constraints: 38284
322.00/322.93 c #Conflicts: 250000 | #Constraints: 39284
322.00/322.93 c #Conflicts: 251000 | #Constraints: 40284
322.00/322.93 c #Conflicts: 252000 | #Constraints: 41284
322.00/322.93 c #Conflicts: 253000 | #Constraints: 42284
322.00/322.93 c #Conflicts: 254000 | #Constraints: 43284
322.00/322.93 c #Conflicts: 255000 | #Constraints: 44284
322.00/322.93 c #Conflicts: 256000 | #Constraints: 45284
322.00/322.93 c #Conflicts: 257000 | #Constraints: 46284
322.00/322.93 c INPROCESSING
322.00/322.93 c GARBAGE COLLECT
322.00/322.93 c #Conflicts: 258000 | #Constraints: 34694
322.00/322.93 c #Conflicts: 259000 | #Constraints: 35694
322.00/322.93 c #Conflicts: 260000 | #Constraints: 36694
322.00/322.93 c #Conflicts: 261000 | #Constraints: 37694
322.00/322.93 c #Conflicts: 262000 | #Constraints: 38694
322.00/322.93 c #Conflicts: 263000 | #Constraints: 39694
322.00/322.93 c #Conflicts: 264000 | #Constraints: 40694
322.00/322.93 c #Conflicts: 265000 | #Constraints: 41694
322.00/322.93 c #Conflicts: 266000 | #Constraints: 42694
322.00/322.93 c #Conflicts: 267000 | #Constraints: 43694
322.00/322.93 c #Conflicts: 268000 | #Constraints: 44694
322.00/322.93 c #Conflicts: 269000 | #Constraints: 45694
322.00/322.93 c #Conflicts: 270000 | #Constraints: 46694
322.00/322.93 c #Conflicts: 271000 | #Constraints: 47694
322.00/322.93 c #Conflicts: 272000 | #Constraints: 48694
322.00/322.93 c #Conflicts: 273000 | #Constraints: 49694
322.00/322.93 c #Conflicts: 274000 | #Constraints: 50694
322.00/322.93 c #Conflicts: 275000 | #Constraints: 51694
322.00/322.93 c #Conflicts: 276000 | #Constraints: 52694
322.00/322.93 c #Conflicts: 277000 | #Constraints: 53694
322.00/322.93 c #Conflicts: 278000 | #Constraints: 54694
322.00/322.93 c #Conflicts: 279000 | #Constraints: 55694
322.00/322.93 c #Conflicts: 280000 | #Constraints: 56694
322.00/322.93 c #Conflicts: 281000 | #Constraints: 57694
322.00/322.93 c #Conflicts: 282000 | #Constraints: 58694
322.00/322.93 c #Conflicts: 283000 | #Constraints: 59694
322.00/322.93 c #Conflicts: 284000 | #Constraints: 60694
322.00/322.93 c #Conflicts: 285000 | #Constraints: 61694
322.00/322.93 c #Conflicts: 286000 | #Constraints: 62694
322.00/322.93 c #Conflicts: 287000 | #Constraints: 63694
322.00/322.93 c #Conflicts: 288000 | #Constraints: 64694
322.00/322.93 c #Conflicts: 289000 | #Constraints: 65694
322.00/322.93 c #Conflicts: 290000 | #Constraints: 66694
322.00/322.93 c #Conflicts: 291000 | #Constraints: 67694
322.00/322.93 c #Conflicts: 292000 | #Constraints: 68694
322.00/322.93 c #Conflicts: 293000 | #Constraints: 69694
322.00/322.93 c #Conflicts: 294000 | #Constraints: 70694
322.00/322.93 c #Conflicts: 295000 | #Constraints: 71694
322.00/322.93 c INPROCESSING
322.00/322.93 c GARBAGE COLLECT
322.00/322.93 c #Conflicts: 296000 | #Constraints: 45044
499.47/500.99 c #Conflicts: 297000 | #Constraints: 46044
499.47/500.99 c #Conflicts: 298000 | #Constraints: 47044
499.47/500.99 c #Conflicts: 299000 | #Constraints: 48044
499.47/500.99 c #Conflicts: 300000 | #Constraints: 49044
499.47/500.99 c #Conflicts: 301000 | #Constraints: 50044
499.47/500.99 c #Conflicts: 302000 | #Constraints: 51044
499.47/500.99 c #Conflicts: 303000 | #Constraints: 52044
499.47/500.99 c #Conflicts: 304000 | #Constraints: 53044
499.47/500.99 c #Conflicts: 305000 | #Constraints: 54044
499.47/500.99 c #Conflicts: 306000 | #Constraints: 55044
499.47/500.99 c #Conflicts: 307000 | #Constraints: 56044
499.47/500.99 c #Conflicts: 308000 | #Constraints: 57044
499.47/500.99 c #Conflicts: 309000 | #Constraints: 58044
499.47/500.99 c INPROCESSING
499.47/500.99 c GARBAGE COLLECT
499.47/500.99 c #Conflicts: 310000 | #Constraints: 38620
499.47/500.99 c #Conflicts: 311000 | #Constraints: 39620
499.47/500.99 c #Conflicts: 312000 | #Constraints: 40620
499.47/500.99 c #Conflicts: 313000 | #Constraints: 41620
499.47/500.99 c #Conflicts: 314000 | #Constraints: 42620
499.47/500.99 c #Conflicts: 315000 | #Constraints: 43620
499.47/500.99 c #Conflicts: 316000 | #Constraints: 44620
499.47/500.99 c #Conflicts: 317000 | #Constraints: 45620
499.47/500.99 c #Conflicts: 318000 | #Constraints: 46620
499.47/500.99 c #Conflicts: 319000 | #Constraints: 47620
499.47/500.99 c #Conflicts: 320000 | #Constraints: 48620
499.47/500.99 c #Conflicts: 321000 | #Constraints: 49620
499.47/500.99 c #Conflicts: 322000 | #Constraints: 50620
499.47/500.99 c #Conflicts: 323000 | #Constraints: 51620
499.47/500.99 c #Conflicts: 324000 | #Constraints: 52620
499.47/500.99 c #Conflicts: 325000 | #Constraints: 53620
499.47/500.99 c #Conflicts: 326000 | #Constraints: 54620
499.47/500.99 c #Conflicts: 327000 | #Constraints: 55620
499.47/500.99 c #Conflicts: 328000 | #Constraints: 56620
499.47/500.99 c #Conflicts: 329000 | #Constraints: 57620
499.47/500.99 c #Conflicts: 330000 | #Constraints: 58620
499.47/500.99 c #Conflicts: 331000 | #Constraints: 59620
499.47/500.99 c #Conflicts: 332000 | #Constraints: 60620
499.47/500.99 c #Conflicts: 333000 | #Constraints: 61620
499.47/500.99 c #Conflicts: 334000 | #Constraints: 62620
499.47/500.99 c #Conflicts: 335000 | #Constraints: 63620
499.47/500.99 c #Conflicts: 336000 | #Constraints: 64620
499.47/500.99 c #Conflicts: 337000 | #Constraints: 65620
499.47/500.99 c #Conflicts: 338000 | #Constraints: 66620
499.47/500.99 c #Conflicts: 339000 | #Constraints: 67620
499.47/500.99 c #Conflicts: 340000 | #Constraints: 68620
499.47/500.99 c #Conflicts: 341000 | #Constraints: 69620
499.47/500.99 c #Conflicts: 342000 | #Constraints: 70620
499.47/500.99 c #Conflicts: 343000 | #Constraints: 71620
499.47/500.99 c #Conflicts: 344000 | #Constraints: 72620
499.47/500.99 c #Conflicts: 345000 | #Constraints: 73620
499.47/500.99 c #Conflicts: 346000 | #Constraints: 74620
499.47/500.99 c #Conflicts: 347000 | #Constraints: 75620
499.47/500.99 c #Conflicts: 348000 | #Constraints: 76620
499.47/500.99 c #Conflicts: 349000 | #Constraints: 77620
499.47/500.99 c #Conflicts: 350000 | #Constraints: 78620
499.47/500.99 c INPROCESSING
499.47/500.99 c GARBAGE COLLECT
499.47/500.99 c #Conflicts: 351000 | #Constraints: 48765
499.47/500.99 c #Conflicts: 352000 | #Constraints: 49765
499.47/500.99 c #Conflicts: 353000 | #Constraints: 50765
499.47/500.99 c #Conflicts: 354000 | #Constraints: 51765
499.47/500.99 c #Conflicts: 355000 | #Constraints: 52765
499.47/500.99 c #Conflicts: 356000 | #Constraints: 53765
499.47/500.99 c #Conflicts: 357000 | #Constraints: 54765
499.47/500.99 c #Conflicts: 358000 | #Constraints: 55765
499.47/500.99 c #Conflicts: 359000 | #Constraints: 56765
499.47/500.99 c #Conflicts: 360000 | #Constraints: 57765
499.47/500.99 c #Conflicts: 361000 | #Constraints: 58765
499.47/500.99 c #Conflicts: 362000 | #Constraints: 59765
499.47/500.99 c #Conflicts: 363000 | #Constraints: 60765
499.47/500.99 c #Conflicts: 364000 | #Constraints: 61765
499.47/500.99 c INPROCESSING
499.47/500.99 c GARBAGE COLLECT
499.47/500.99 c #Conflicts: 365000 | #Constraints: 40089
499.47/500.99 c #Conflicts: 366000 | #Constraints: 41089
499.47/500.99 c #Conflicts: 367000 | #Constraints: 42089
499.47/500.99 c #Conflicts: 368000 | #Constraints: 43089
499.47/500.99 c #Conflicts: 369000 | #Constraints: 44089
499.47/500.99 c #Conflicts: 370000 | #Constraints: 45089
499.47/500.99 c #Conflicts: 371000 | #Constraints: 46089
499.47/500.99 c #Conflicts: 372000 | #Constraints: 47089
499.47/500.99 c #Conflicts: 373000 | #Constraints: 48089
725.09/727.25 c #Conflicts: 374000 | #Constraints: 49089
725.09/727.25 c #Conflicts: 375000 | #Constraints: 50089
725.09/727.25 c #Conflicts: 376000 | #Constraints: 51089
725.09/727.25 c #Conflicts: 377000 | #Constraints: 52089
725.09/727.25 c #Conflicts: 378000 | #Constraints: 53089
725.09/727.25 c #Conflicts: 379000 | #Constraints: 54089
725.09/727.25 c #Conflicts: 380000 | #Constraints: 55089
725.09/727.25 c #Conflicts: 381000 | #Constraints: 56089
725.09/727.25 c #Conflicts: 382000 | #Constraints: 57089
725.09/727.25 c #Conflicts: 383000 | #Constraints: 58089
725.09/727.25 c #Conflicts: 384000 | #Constraints: 59089
725.09/727.25 c #Conflicts: 385000 | #Constraints: 60089
725.09/727.25 c #Conflicts: 386000 | #Constraints: 61089
725.09/727.25 c #Conflicts: 387000 | #Constraints: 62089
725.09/727.25 c #Conflicts: 388000 | #Constraints: 63089
725.09/727.25 c #Conflicts: 389000 | #Constraints: 64089
725.09/727.25 c #Conflicts: 390000 | #Constraints: 65089
725.09/727.25 c #Conflicts: 391000 | #Constraints: 66089
725.09/727.25 c #Conflicts: 392000 | #Constraints: 67089
725.09/727.25 c #Conflicts: 393000 | #Constraints: 68089
725.09/727.25 c #Conflicts: 394000 | #Constraints: 69089
725.09/727.25 c #Conflicts: 395000 | #Constraints: 70089
725.09/727.25 c #Conflicts: 396000 | #Constraints: 71089
725.09/727.25 c #Conflicts: 397000 | #Constraints: 72089
725.09/727.25 c #Conflicts: 398000 | #Constraints: 73089
725.09/727.25 c #Conflicts: 399000 | #Constraints: 74089
725.09/727.25 c #Conflicts: 400000 | #Constraints: 75089
725.09/727.25 c #Conflicts: 401000 | #Constraints: 76089
725.09/727.25 c #Conflicts: 402000 | #Constraints: 77089
725.09/727.25 c #Conflicts: 403000 | #Constraints: 78089
725.09/727.25 c #Conflicts: 404000 | #Constraints: 79089
725.09/727.25 c #Conflicts: 405000 | #Constraints: 80089
725.09/727.25 c #Conflicts: 406000 | #Constraints: 81089
725.09/727.25 c #Conflicts: 407000 | #Constraints: 82089
725.09/727.25 c #Conflicts: 408000 | #Constraints: 83089
725.09/727.25 c #Conflicts: 409000 | #Constraints: 84089
725.09/727.25 c INPROCESSING
725.09/727.25 c GARBAGE COLLECT
725.09/727.25 c #Conflicts: 410000 | #Constraints: 51545
725.09/727.25 c #Conflicts: 411000 | #Constraints: 52545
725.09/727.25 c #Conflicts: 412000 | #Constraints: 53545
725.09/727.25 c #Conflicts: 413000 | #Constraints: 54545
725.09/727.25 c #Conflicts: 414000 | #Constraints: 55545
725.09/727.25 c #Conflicts: 415000 | #Constraints: 56545
725.09/727.25 c #Conflicts: 416000 | #Constraints: 57545
725.09/727.25 c #Conflicts: 417000 | #Constraints: 58545
725.09/727.25 c #Conflicts: 418000 | #Constraints: 59545
725.09/727.25 c #Conflicts: 419000 | #Constraints: 60545
725.09/727.25 c #Conflicts: 420000 | #Constraints: 61545
725.09/727.25 c #Conflicts: 421000 | #Constraints: 62545
725.09/727.25 c #Conflicts: 422000 | #Constraints: 63545
725.09/727.25 c #Conflicts: 423000 | #Constraints: 64545
725.09/727.25 c #Conflicts: 424000 | #Constraints: 65545
725.09/727.25 c #Conflicts: 425000 | #Constraints: 66545
725.09/727.25 c INPROCESSING
725.09/727.25 c GARBAGE COLLECT
725.09/727.25 c #Conflicts: 426000 | #Constraints: 43897
725.09/727.25 c #Conflicts: 427000 | #Constraints: 44897
725.09/727.25 c #Conflicts: 428000 | #Constraints: 45897
725.09/727.25 c #Conflicts: 429000 | #Constraints: 46897
725.09/727.25 c #Conflicts: 430000 | #Constraints: 47897
725.09/727.25 c #Conflicts: 431000 | #Constraints: 48897
725.09/727.25 c #Conflicts: 432000 | #Constraints: 49897
725.09/727.25 c #Conflicts: 433000 | #Constraints: 50897
725.09/727.25 c #Conflicts: 434000 | #Constraints: 51897
725.09/727.25 c #Conflicts: 435000 | #Constraints: 52897
725.09/727.25 c #Conflicts: 436000 | #Constraints: 53897
725.09/727.25 c #Conflicts: 437000 | #Constraints: 54897
725.09/727.25 c #Conflicts: 438000 | #Constraints: 55897
725.09/727.25 c #Conflicts: 439000 | #Constraints: 56897
725.09/727.25 c #Conflicts: 440000 | #Constraints: 57897
725.09/727.25 c #Conflicts: 441000 | #Constraints: 58897
725.09/727.25 c #Conflicts: 442000 | #Constraints: 59897
725.09/727.25 c #Conflicts: 443000 | #Constraints: 60897
725.09/727.25 c #Conflicts: 444000 | #Constraints: 61897
725.09/727.25 c #Conflicts: 445000 | #Constraints: 62897
725.09/727.25 c #Conflicts: 446000 | #Constraints: 63897
725.09/727.25 c #Conflicts: 447000 | #Constraints: 64897
725.09/727.25 c #Conflicts: 448000 | #Constraints: 65897
725.09/727.25 c #Conflicts: 449000 | #Constraints: 66897
725.09/727.25 c #Conflicts: 450000 | #Constraints: 67897
1012.03/1015.08 c #Conflicts: 451000 | #Constraints: 68897
1012.03/1015.08 c #Conflicts: 452000 | #Constraints: 69897
1012.03/1015.08 c #Conflicts: 453000 | #Constraints: 70897
1012.03/1015.08 c #Conflicts: 454000 | #Constraints: 71897
1012.03/1015.08 c #Conflicts: 455000 | #Constraints: 72897
1012.03/1015.08 c #Conflicts: 456000 | #Constraints: 73897
1012.03/1015.08 c #Conflicts: 457000 | #Constraints: 74897
1012.03/1015.08 c #Conflicts: 458000 | #Constraints: 75897
1012.03/1015.08 c #Conflicts: 459000 | #Constraints: 76897
1012.03/1015.08 c #Conflicts: 460000 | #Constraints: 77897
1012.03/1015.08 c #Conflicts: 461000 | #Constraints: 78897
1012.03/1015.08 c #Conflicts: 462000 | #Constraints: 79897
1012.03/1015.08 c #Conflicts: 463000 | #Constraints: 80897
1012.03/1015.08 c #Conflicts: 464000 | #Constraints: 81897
1012.03/1015.08 c #Conflicts: 465000 | #Constraints: 82897
1012.03/1015.08 c #Conflicts: 466000 | #Constraints: 83897
1012.03/1015.08 c #Conflicts: 467000 | #Constraints: 84897
1012.03/1015.08 c #Conflicts: 468000 | #Constraints: 85897
1012.03/1015.08 c #Conflicts: 469000 | #Constraints: 86897
1012.03/1015.08 c #Conflicts: 470000 | #Constraints: 87897
1012.03/1015.08 c #Conflicts: 471000 | #Constraints: 88897
1012.03/1015.08 c #Conflicts: 472000 | #Constraints: 89897
1012.03/1015.08 c INPROCESSING
1012.03/1015.08 c GARBAGE COLLECT
1012.03/1015.08 c #Conflicts: 473000 | #Constraints: 54298
1012.03/1015.08 c #Conflicts: 474000 | #Constraints: 55298
1012.03/1015.08 c #Conflicts: 475000 | #Constraints: 56298
1012.03/1015.08 c #Conflicts: 476000 | #Constraints: 57298
1012.03/1015.08 c #Conflicts: 477000 | #Constraints: 58298
1012.03/1015.08 c #Conflicts: 478000 | #Constraints: 59298
1012.03/1015.08 c #Conflicts: 479000 | #Constraints: 60298
1012.03/1015.08 c #Conflicts: 480000 | #Constraints: 61298
1012.03/1015.08 c #Conflicts: 481000 | #Constraints: 62298
1012.03/1015.08 c #Conflicts: 482000 | #Constraints: 63298
1012.03/1015.08 c #Conflicts: 483000 | #Constraints: 64298
1012.03/1015.08 c #Conflicts: 484000 | #Constraints: 65298
1012.03/1015.08 c #Conflicts: 485000 | #Constraints: 66298
1012.03/1015.08 c #Conflicts: 486000 | #Constraints: 67298
1012.03/1015.08 c #Conflicts: 487000 | #Constraints: 68298
1012.03/1015.08 c #Conflicts: 488000 | #Constraints: 69298
1012.03/1015.08 c #Conflicts: 489000 | #Constraints: 70298
1012.03/1015.08 c INPROCESSING
1012.03/1015.08 c GARBAGE COLLECT
1012.03/1015.08 c #Conflicts: 490000 | #Constraints: 46248
1012.03/1015.08 c #Conflicts: 491000 | #Constraints: 47248
1012.03/1015.08 c #Conflicts: 492000 | #Constraints: 48248
1012.03/1015.08 c #Conflicts: 493000 | #Constraints: 49248
1012.03/1015.08 c #Conflicts: 494000 | #Constraints: 50248
1012.03/1015.08 c #Conflicts: 495000 | #Constraints: 51248
1012.03/1015.08 c #Conflicts: 496000 | #Constraints: 52248
1012.03/1015.08 c #Conflicts: 497000 | #Constraints: 53248
1012.03/1015.08 c #Conflicts: 498000 | #Constraints: 54248
1012.03/1015.08 c #Conflicts: 499000 | #Constraints: 55248
1012.03/1015.08 c #Conflicts: 500000 | #Constraints: 56248
1012.03/1015.08 c #Conflicts: 501000 | #Constraints: 57248
1012.03/1015.08 c #Conflicts: 502000 | #Constraints: 58248
1012.03/1015.08 c #Conflicts: 503000 | #Constraints: 59248
1012.03/1015.08 c #Conflicts: 504000 | #Constraints: 60248
1012.03/1015.08 c #Conflicts: 505000 | #Constraints: 61248
1012.03/1015.08 c #Conflicts: 506000 | #Constraints: 62248
1012.03/1015.08 c #Conflicts: 507000 | #Constraints: 63248
1012.03/1015.08 c #Conflicts: 508000 | #Constraints: 64248
1012.03/1015.08 c #Conflicts: 509000 | #Constraints: 65248
1012.03/1015.08 c #Conflicts: 510000 | #Constraints: 66248
1012.03/1015.08 c #Conflicts: 511000 | #Constraints: 67248
1012.03/1015.08 c #Conflicts: 512000 | #Constraints: 68248
1012.03/1015.08 c #Conflicts: 513000 | #Constraints: 69248
1012.03/1015.08 c #Conflicts: 514000 | #Constraints: 70248
1012.03/1015.08 c #Conflicts: 515000 | #Constraints: 71248
1012.03/1015.08 c #Conflicts: 516000 | #Constraints: 72248
1012.03/1015.08 c #Conflicts: 517000 | #Constraints: 73248
1012.03/1015.08 c #Conflicts: 518000 | #Constraints: 74248
1012.03/1015.08 c #Conflicts: 519000 | #Constraints: 75248
1012.03/1015.08 c #Conflicts: 520000 | #Constraints: 76248
1012.03/1015.08 c #Conflicts: 521000 | #Constraints: 77248
1012.03/1015.08 c #Conflicts: 522000 | #Constraints: 78248
1012.03/1015.08 c #Conflicts: 523000 | #Constraints: 79248
1012.03/1015.08 c #Conflicts: 524000 | #Constraints: 80248
1012.03/1015.08 c #Conflicts: 525000 | #Constraints: 81248
1012.03/1015.08 c #Conflicts: 526000 | #Constraints: 82248
1012.03/1015.08 c #Conflicts: 527000 | #Constraints: 83248
1012.03/1015.08 c #Conflicts: 528000 | #Constraints: 84248
1357.65/1361.74 c #Conflicts: 529000 | #Constraints: 85248
1357.65/1361.74 c #Conflicts: 530000 | #Constraints: 86248
1357.65/1361.74 c #Conflicts: 531000 | #Constraints: 87248
1357.65/1361.74 c #Conflicts: 532000 | #Constraints: 88248
1357.65/1361.74 c #Conflicts: 533000 | #Constraints: 89248
1357.65/1361.74 c #Conflicts: 534000 | #Constraints: 90248
1357.65/1361.74 c #Conflicts: 535000 | #Constraints: 91248
1357.65/1361.74 c #Conflicts: 536000 | #Constraints: 92248
1357.65/1361.74 c #Conflicts: 537000 | #Constraints: 93248
1357.65/1361.74 c #Conflicts: 538000 | #Constraints: 94248
1357.65/1361.74 c #Conflicts: 539000 | #Constraints: 95248
1357.65/1361.74 c #Conflicts: 540000 | #Constraints: 96248
1357.65/1361.74 c INPROCESSING
1357.65/1361.74 c GARBAGE COLLECT
1357.65/1361.74 c #Conflicts: 541000 | #Constraints: 57631
1357.65/1361.74 c #Conflicts: 542000 | #Constraints: 58631
1357.65/1361.74 c #Conflicts: 543000 | #Constraints: 59631
1357.65/1361.74 c #Conflicts: 544000 | #Constraints: 60631
1357.65/1361.74 c #Conflicts: 545000 | #Constraints: 61631
1357.65/1361.74 c #Conflicts: 546000 | #Constraints: 62631
1357.65/1361.74 c #Conflicts: 547000 | #Constraints: 63631
1357.65/1361.74 c #Conflicts: 548000 | #Constraints: 64631
1357.65/1361.74 c #Conflicts: 549000 | #Constraints: 65631
1357.65/1361.74 c #Conflicts: 550000 | #Constraints: 66631
1357.65/1361.74 c #Conflicts: 551000 | #Constraints: 67631
1357.65/1361.74 c #Conflicts: 552000 | #Constraints: 68631
1357.65/1361.74 c #Conflicts: 553000 | #Constraints: 69631
1357.65/1361.74 c #Conflicts: 554000 | #Constraints: 70631
1357.65/1361.74 c #Conflicts: 555000 | #Constraints: 71631
1357.65/1361.74 c #Conflicts: 556000 | #Constraints: 72631
1357.65/1361.74 c #Conflicts: 557000 | #Constraints: 73631
1357.65/1361.74 c #Conflicts: 558000 | #Constraints: 74631
1357.65/1361.74 c INPROCESSING
1357.65/1361.74 c GARBAGE COLLECT
1357.65/1361.74 c #Conflicts: 559000 | #Constraints: 49249
1357.65/1361.74 c #Conflicts: 560000 | #Constraints: 50249
1357.65/1361.74 c #Conflicts: 561000 | #Constraints: 51249
1357.65/1361.74 c #Conflicts: 562000 | #Constraints: 52249
1357.65/1361.74 c #Conflicts: 563000 | #Constraints: 53249
1357.65/1361.74 c #Conflicts: 564000 | #Constraints: 54249
1357.65/1361.74 c #Conflicts: 565000 | #Constraints: 55249
1357.65/1361.74 c #Conflicts: 566000 | #Constraints: 56249
1357.65/1361.74 c #Conflicts: 567000 | #Constraints: 57249
1357.65/1361.74 c #Conflicts: 568000 | #Constraints: 58249
1357.65/1361.74 c #Conflicts: 569000 | #Constraints: 59249
1357.65/1361.74 c #Conflicts: 570000 | #Constraints: 60249
1357.65/1361.74 c #Conflicts: 571000 | #Constraints: 61249
1357.65/1361.74 c #Conflicts: 572000 | #Constraints: 62249
1357.65/1361.74 c #Conflicts: 573000 | #Constraints: 63249
1357.65/1361.74 c #Conflicts: 574000 | #Constraints: 64249
1357.65/1361.74 c #Conflicts: 575000 | #Constraints: 65249
1357.65/1361.74 c #Conflicts: 576000 | #Constraints: 66249
1357.65/1361.74 c #Conflicts: 577000 | #Constraints: 67249
1357.65/1361.74 c #Conflicts: 578000 | #Constraints: 68249
1357.65/1361.74 c #Conflicts: 579000 | #Constraints: 69249
1357.65/1361.74 c #Conflicts: 580000 | #Constraints: 70249
1357.65/1361.74 c #Conflicts: 581000 | #Constraints: 71249
1357.65/1361.74 c #Conflicts: 582000 | #Constraints: 72249
1357.65/1361.74 c #Conflicts: 583000 | #Constraints: 73249
1357.65/1361.74 c #Conflicts: 584000 | #Constraints: 74249
1357.65/1361.74 c #Conflicts: 585000 | #Constraints: 75249
1357.65/1361.74 c #Conflicts: 586000 | #Constraints: 76249
1357.65/1361.74 c #Conflicts: 587000 | #Constraints: 77249
1357.65/1361.74 c #Conflicts: 588000 | #Constraints: 78249
1357.65/1361.74 c #Conflicts: 589000 | #Constraints: 79249
1357.65/1361.74 c #Conflicts: 590000 | #Constraints: 80249
1357.65/1361.74 c #Conflicts: 591000 | #Constraints: 81249
1357.65/1361.74 c #Conflicts: 592000 | #Constraints: 82249
1357.65/1361.74 c #Conflicts: 593000 | #Constraints: 83249
1357.65/1361.74 c #Conflicts: 594000 | #Constraints: 84249
1357.65/1361.74 c #Conflicts: 595000 | #Constraints: 85249
1357.65/1361.74 c #Conflicts: 596000 | #Constraints: 86249
1357.65/1361.74 c #Conflicts: 597000 | #Constraints: 87249
1357.65/1361.74 c #Conflicts: 598000 | #Constraints: 88249
1357.65/1361.74 c #Conflicts: 599000 | #Constraints: 89249
1357.65/1361.74 c #Conflicts: 600000 | #Constraints: 90249
1357.65/1361.74 c #Conflicts: 601000 | #Constraints: 91249
1357.65/1361.74 c #Conflicts: 602000 | #Constraints: 92249
1357.65/1361.74 c #Conflicts: 603000 | #Constraints: 93249
1357.65/1361.74 c #Conflicts: 604000 | #Constraints: 94249
1357.65/1361.74 c #Conflicts: 605000 | #Constraints: 95249
1745.36/1750.65 c #Conflicts: 606000 | #Constraints: 96249
1745.36/1750.65 c #Conflicts: 607000 | #Constraints: 97249
1745.36/1750.65 c #Conflicts: 608000 | #Constraints: 98249
1745.36/1750.65 c #Conflicts: 609000 | #Constraints: 99249
1745.36/1750.65 c #Conflicts: 610000 | #Constraints: 100249
1745.36/1750.65 c #Conflicts: 611000 | #Constraints: 101249
1745.36/1750.65 c #Conflicts: 612000 | #Constraints: 102249
1745.36/1750.65 c INPROCESSING
1745.36/1750.65 c GARBAGE COLLECT
1745.36/1750.65 c #Conflicts: 613000 | #Constraints: 60587
1745.36/1750.65 c #Conflicts: 614000 | #Constraints: 61587
1745.36/1750.65 c #Conflicts: 615000 | #Constraints: 62587
1745.36/1750.65 c #Conflicts: 616000 | #Constraints: 63587
1745.36/1750.65 c #Conflicts: 617000 | #Constraints: 64587
1745.36/1750.65 c #Conflicts: 618000 | #Constraints: 65587
1745.36/1750.65 c #Conflicts: 619000 | #Constraints: 66587
1745.36/1750.65 c #Conflicts: 620000 | #Constraints: 67587
1745.36/1750.65 c #Conflicts: 621000 | #Constraints: 68587
1745.36/1750.65 c #Conflicts: 622000 | #Constraints: 69587
1745.36/1750.65 c #Conflicts: 623000 | #Constraints: 70587
1745.36/1750.65 c #Conflicts: 624000 | #Constraints: 71587
1745.36/1750.65 c #Conflicts: 625000 | #Constraints: 72587
1745.36/1750.65 c #Conflicts: 626000 | #Constraints: 73587
1745.36/1750.65 c #Conflicts: 627000 | #Constraints: 74587
1745.36/1750.65 c #Conflicts: 628000 | #Constraints: 75587
1745.36/1750.65 c #Conflicts: 629000 | #Constraints: 76587
1745.36/1750.65 c #Conflicts: 630000 | #Constraints: 77587
1745.36/1750.65 c #Conflicts: 631000 | #Constraints: 78587
1745.36/1750.65 c #Conflicts: 632000 | #Constraints: 79587
1745.36/1750.65 c INPROCESSING
1745.36/1750.65 c GARBAGE COLLECT
1745.36/1750.65 c #Conflicts: 633000 | #Constraints: 53214
1745.36/1750.65 c #Conflicts: 634000 | #Constraints: 54214
1745.36/1750.65 c #Conflicts: 635000 | #Constraints: 55214
1745.36/1750.65 c #Conflicts: 636000 | #Constraints: 56214
1745.36/1750.65 c #Conflicts: 637000 | #Constraints: 57214
1745.36/1750.65 c #Conflicts: 638000 | #Constraints: 58214
1745.36/1750.65 c #Conflicts: 639000 | #Constraints: 59214
1745.36/1750.65 c #Conflicts: 640000 | #Constraints: 60214
1745.36/1750.65 c #Conflicts: 641000 | #Constraints: 61214
1745.36/1750.65 c #Conflicts: 642000 | #Constraints: 62214
1745.36/1750.65 c #Conflicts: 643000 | #Constraints: 63214
1745.36/1750.65 c #Conflicts: 644000 | #Constraints: 64214
1745.36/1750.65 c #Conflicts: 645000 | #Constraints: 65214
1745.36/1750.65 c #Conflicts: 646000 | #Constraints: 66214
1745.36/1750.65 c #Conflicts: 647000 | #Constraints: 67214
1745.36/1750.65 c #Conflicts: 648000 | #Constraints: 68214
1745.36/1750.65 c #Conflicts: 649000 | #Constraints: 69214
1745.36/1750.65 c #Conflicts: 650000 | #Constraints: 70214
1745.36/1750.65 c #Conflicts: 651000 | #Constraints: 71214
1745.36/1750.65 c #Conflicts: 652000 | #Constraints: 72214
1745.36/1750.65 c #Conflicts: 653000 | #Constraints: 73214
1745.36/1750.65 c #Conflicts: 654000 | #Constraints: 74214
1745.36/1750.65 c #Conflicts: 655000 | #Constraints: 75214
1745.36/1750.65 c #Conflicts: 656000 | #Constraints: 76214
1745.36/1750.65 c #Conflicts: 657000 | #Constraints: 77214
1745.36/1750.65 c #Conflicts: 658000 | #Constraints: 78214
1745.36/1750.65 c #Conflicts: 659000 | #Constraints: 79214
1745.36/1750.65 c #Conflicts: 660000 | #Constraints: 80214
1745.36/1750.65 c #Conflicts: 661000 | #Constraints: 81214
1745.36/1750.65 c #Conflicts: 662000 | #Constraints: 82214
1745.36/1750.65 c #Conflicts: 663000 | #Constraints: 83214
1745.36/1750.65 c #Conflicts: 664000 | #Constraints: 84214
1745.36/1750.65 c #Conflicts: 665000 | #Constraints: 85214
1745.36/1750.65 c #Conflicts: 666000 | #Constraints: 86214
1745.36/1750.65 c #Conflicts: 667000 | #Constraints: 87214
1745.36/1750.65 c #Conflicts: 668000 | #Constraints: 88214
1745.36/1750.65 c #Conflicts: 669000 | #Constraints: 89214
1745.36/1750.65 c #Conflicts: 670000 | #Constraints: 90214
1745.36/1750.65 c #Conflicts: 671000 | #Constraints: 91214
1745.36/1750.65 c #Conflicts: 672000 | #Constraints: 92214
1745.36/1750.65 c #Conflicts: 673000 | #Constraints: 93214
1745.36/1750.65 c #Conflicts: 674000 | #Constraints: 94214
1745.36/1750.65 c #Conflicts: 675000 | #Constraints: 95214
1745.36/1750.65 c #Conflicts: 676000 | #Constraints: 96214
1745.36/1750.65 c #Conflicts: 677000 | #Constraints: 97214
1745.36/1750.65 c #Conflicts: 678000 | #Constraints: 98214
1745.36/1750.65 c #Conflicts: 679000 | #Constraints: 99214
1745.36/1750.65 c #Conflicts: 680000 | #Constraints: 100214
1745.36/1750.65 c #Conflicts: 681000 | #Constraints: 101214
1745.36/1750.65 c #Conflicts: 682000 | #Constraints: 102214
1745.36/1750.65 c #Conflicts: 683000 | #Constraints: 103214
2185.30/2191.98 c #Conflicts: 684000 | #Constraints: 104214
2185.30/2191.98 c #Conflicts: 685000 | #Constraints: 105214
2185.30/2191.98 c #Conflicts: 686000 | #Constraints: 106214
2185.30/2191.98 c #Conflicts: 687000 | #Constraints: 107214
2185.30/2191.98 c #Conflicts: 688000 | #Constraints: 108214
2185.30/2191.98 c INPROCESSING
2185.30/2191.98 c GARBAGE COLLECT
2185.30/2191.98 c #Conflicts: 689000 | #Constraints: 63318
2185.30/2191.98 c #Conflicts: 690000 | #Constraints: 64318
2185.30/2191.98 c #Conflicts: 691000 | #Constraints: 65318
2185.30/2191.98 c #Conflicts: 692000 | #Constraints: 66318
2185.30/2191.98 c #Conflicts: 693000 | #Constraints: 67318
2185.30/2191.98 c #Conflicts: 694000 | #Constraints: 68318
2185.30/2191.98 c #Conflicts: 695000 | #Constraints: 69318
2185.30/2191.98 c #Conflicts: 696000 | #Constraints: 70318
2185.30/2191.98 c #Conflicts: 697000 | #Constraints: 71318
2185.30/2191.98 c #Conflicts: 698000 | #Constraints: 72318
2185.30/2191.98 c #Conflicts: 699000 | #Constraints: 73318
2185.30/2191.98 c #Conflicts: 700000 | #Constraints: 74318
2185.30/2191.98 c #Conflicts: 701000 | #Constraints: 75318
2185.30/2191.98 c #Conflicts: 702000 | #Constraints: 76318
2185.30/2191.98 c #Conflicts: 703000 | #Constraints: 77318
2185.30/2191.98 c #Conflicts: 704000 | #Constraints: 78318
2185.30/2191.98 c #Conflicts: 705000 | #Constraints: 79318
2185.30/2191.98 c #Conflicts: 706000 | #Constraints: 80318
2185.30/2191.98 c #Conflicts: 707000 | #Constraints: 81318
2185.30/2191.98 c #Conflicts: 708000 | #Constraints: 82318
2185.30/2191.98 c #Conflicts: 709000 | #Constraints: 83318
2185.30/2191.98 c INPROCESSING
2185.30/2191.98 c GARBAGE COLLECT
2185.30/2191.98 c #Conflicts: 710000 | #Constraints: 55796
2185.30/2191.98 c #Conflicts: 711000 | #Constraints: 56796
2185.30/2191.98 c #Conflicts: 712000 | #Constraints: 57796
2185.30/2191.98 c #Conflicts: 713000 | #Constraints: 58796
2185.30/2191.98 c #Conflicts: 714000 | #Constraints: 59796
2185.30/2191.98 c #Conflicts: 715000 | #Constraints: 60796
2185.30/2191.98 c #Conflicts: 716000 | #Constraints: 61796
2185.30/2191.98 c #Conflicts: 717000 | #Constraints: 62796
2185.30/2191.98 c #Conflicts: 718000 | #Constraints: 63796
2185.30/2191.98 c #Conflicts: 719000 | #Constraints: 64796
2185.30/2191.98 c #Conflicts: 720000 | #Constraints: 65796
2185.30/2191.98 c #Conflicts: 721000 | #Constraints: 66796
2185.30/2191.98 c #Conflicts: 722000 | #Constraints: 67796
2185.30/2191.98 c #Conflicts: 723000 | #Constraints: 68796
2185.30/2191.98 c #Conflicts: 724000 | #Constraints: 69796
2185.30/2191.98 c #Conflicts: 725000 | #Constraints: 70796
2185.30/2191.98 c #Conflicts: 726000 | #Constraints: 71796
2185.30/2191.98 c #Conflicts: 727000 | #Constraints: 72796
2185.30/2191.98 c #Conflicts: 728000 | #Constraints: 73796
2185.30/2191.98 c #Conflicts: 729000 | #Constraints: 74796
2185.30/2191.98 c #Conflicts: 730000 | #Constraints: 75796
2185.30/2191.98 c #Conflicts: 731000 | #Constraints: 76796
2185.30/2191.98 c #Conflicts: 732000 | #Constraints: 77796
2185.30/2191.98 c #Conflicts: 733000 | #Constraints: 78796
2185.30/2191.98 c #Conflicts: 734000 | #Constraints: 79796
2185.30/2191.98 c #Conflicts: 735000 | #Constraints: 80796
2185.30/2191.98 c #Conflicts: 736000 | #Constraints: 81796
2185.30/2191.98 c #Conflicts: 737000 | #Constraints: 82796
2185.30/2191.98 c #Conflicts: 738000 | #Constraints: 83796
2185.30/2191.98 c #Conflicts: 739000 | #Constraints: 84796
2185.30/2191.98 c #Conflicts: 740000 | #Constraints: 85796
2185.30/2191.98 c #Conflicts: 741000 | #Constraints: 86796
2185.30/2191.98 c #Conflicts: 742000 | #Constraints: 87796
2185.30/2191.98 c #Conflicts: 743000 | #Constraints: 88796
2185.30/2191.98 c #Conflicts: 744000 | #Constraints: 89796
2185.30/2191.98 c #Conflicts: 745000 | #Constraints: 90796
2185.30/2191.98 c #Conflicts: 746000 | #Constraints: 91796
2185.30/2191.98 c #Conflicts: 747000 | #Constraints: 92796
2185.30/2191.98 c #Conflicts: 748000 | #Constraints: 93796
2185.30/2191.98 c #Conflicts: 749000 | #Constraints: 94796
2185.30/2191.98 c #Conflicts: 750000 | #Constraints: 95796
2185.30/2191.98 c #Conflicts: 751000 | #Constraints: 96796
2185.30/2191.98 c #Conflicts: 752000 | #Constraints: 97796
2185.30/2191.98 c #Conflicts: 753000 | #Constraints: 98796
2185.30/2191.98 c #Conflicts: 754000 | #Constraints: 99796
2185.30/2191.98 c #Conflicts: 755000 | #Constraints: 100796
2185.30/2191.98 c #Conflicts: 756000 | #Constraints: 101796
2185.30/2191.98 c #Conflicts: 757000 | #Constraints: 102796
2185.30/2191.98 c #Conflicts: 758000 | #Constraints: 103796
2185.30/2191.98 c #Conflicts: 759000 | #Constraints: 104796
2185.30/2191.98 c #Conflicts: 760000 | #Constraints: 105796
2647.09/2655.05 c #Conflicts: 761000 | #Constraints: 106796
2647.09/2655.05 c #Conflicts: 762000 | #Constraints: 107796
2647.09/2655.05 c #Conflicts: 763000 | #Constraints: 108796
2647.09/2655.05 c #Conflicts: 764000 | #Constraints: 109796
2647.09/2655.05 c #Conflicts: 765000 | #Constraints: 110796
2647.09/2655.05 c #Conflicts: 766000 | #Constraints: 111796
2647.09/2655.05 c #Conflicts: 767000 | #Constraints: 112796
2647.09/2655.05 c #Conflicts: 768000 | #Constraints: 113796
2647.09/2655.05 c #Conflicts: 769000 | #Constraints: 114796
2647.09/2655.05 c INPROCESSING
2647.09/2655.05 c GARBAGE COLLECT
2647.09/2655.05 c #Conflicts: 770000 | #Constraints: 66658
2647.09/2655.05 c #Conflicts: 771000 | #Constraints: 67658
2647.09/2655.05 c #Conflicts: 772000 | #Constraints: 68658
2647.09/2655.05 c #Conflicts: 773000 | #Constraints: 69658
2647.09/2655.05 c #Conflicts: 774000 | #Constraints: 70658
2647.09/2655.05 c #Conflicts: 775000 | #Constraints: 71658
2647.09/2655.05 c #Conflicts: 776000 | #Constraints: 72658
2647.09/2655.05 c #Conflicts: 777000 | #Constraints: 73658
2647.09/2655.05 c #Conflicts: 778000 | #Constraints: 74658
2647.09/2655.05 c #Conflicts: 779000 | #Constraints: 75658
2647.09/2655.05 c #Conflicts: 780000 | #Constraints: 76658
2647.09/2655.05 c #Conflicts: 781000 | #Constraints: 77658
2647.09/2655.05 c #Conflicts: 782000 | #Constraints: 78658
2647.09/2655.05 c #Conflicts: 783000 | #Constraints: 79658
2647.09/2655.05 c #Conflicts: 784000 | #Constraints: 80658
2647.09/2655.05 c #Conflicts: 785000 | #Constraints: 81658
2647.09/2655.05 c #Conflicts: 786000 | #Constraints: 82658
2647.09/2655.05 c #Conflicts: 787000 | #Constraints: 83658
2647.09/2655.05 c #Conflicts: 788000 | #Constraints: 84658
2647.09/2655.05 c #Conflicts: 789000 | #Constraints: 85658
2647.09/2655.05 c #Conflicts: 790000 | #Constraints: 86658
2647.09/2655.05 c #Conflicts: 791000 | #Constraints: 87658
2647.09/2655.05 c #Conflicts: 792000 | #Constraints: 88658
2647.09/2655.05 c INPROCESSING
2647.09/2655.05 c GARBAGE COLLECT
2647.09/2655.05 c #Conflicts: 793000 | #Constraints: 60091
2647.09/2655.05 c #Conflicts: 794000 | #Constraints: 61091
2647.09/2655.05 c #Conflicts: 795000 | #Constraints: 62091
2647.09/2655.05 c #Conflicts: 796000 | #Constraints: 63091
2647.09/2655.05 c #Conflicts: 797000 | #Constraints: 64091
2647.09/2655.05 c #Conflicts: 798000 | #Constraints: 65091
2647.09/2655.05 c #Conflicts: 799000 | #Constraints: 66091
2647.09/2655.05 c #Conflicts: 800000 | #Constraints: 67091
2647.09/2655.05 c #Conflicts: 801000 | #Constraints: 68091
2647.09/2655.05 c #Conflicts: 802000 | #Constraints: 69091
2647.09/2655.05 c #Conflicts: 803000 | #Constraints: 70091
2647.09/2655.05 c #Conflicts: 804000 | #Constraints: 71091
2647.09/2655.05 c #Conflicts: 805000 | #Constraints: 72091
2647.09/2655.05 c #Conflicts: 806000 | #Constraints: 73091
2647.09/2655.05 c #Conflicts: 807000 | #Constraints: 74091
2647.09/2655.05 c #Conflicts: 808000 | #Constraints: 75091
2647.09/2655.05 c #Conflicts: 809000 | #Constraints: 76091
2647.09/2655.05 c #Conflicts: 810000 | #Constraints: 77091
2647.09/2655.05 c #Conflicts: 811000 | #Constraints: 78091
2647.09/2655.05 c #Conflicts: 812000 | #Constraints: 79091
2647.09/2655.05 c #Conflicts: 813000 | #Constraints: 80091
2647.09/2655.05 c #Conflicts: 814000 | #Constraints: 81091
2647.09/2655.05 c #Conflicts: 815000 | #Constraints: 82091
2647.09/2655.05 c #Conflicts: 816000 | #Constraints: 83091
2647.09/2655.05 c #Conflicts: 817000 | #Constraints: 84091
2647.09/2655.05 c #Conflicts: 818000 | #Constraints: 85091
2647.09/2655.05 c #Conflicts: 819000 | #Constraints: 86091
2647.09/2655.05 c #Conflicts: 820000 | #Constraints: 87091
2647.09/2655.05 c #Conflicts: 821000 | #Constraints: 88091
2647.09/2655.05 c #Conflicts: 822000 | #Constraints: 89091
2647.09/2655.05 c #Conflicts: 823000 | #Constraints: 90091
2647.09/2655.05 c #Conflicts: 824000 | #Constraints: 91091
2647.09/2655.05 c #Conflicts: 825000 | #Constraints: 92091
2647.09/2655.05 c #Conflicts: 826000 | #Constraints: 93091
2647.09/2655.05 c #Conflicts: 827000 | #Constraints: 94091
2647.09/2655.05 c #Conflicts: 828000 | #Constraints: 95091
2647.09/2655.05 c #Conflicts: 829000 | #Constraints: 96091
2647.09/2655.05 c #Conflicts: 830000 | #Constraints: 97091
2647.09/2655.05 c #Conflicts: 831000 | #Constraints: 98091
2647.09/2655.05 c #Conflicts: 832000 | #Constraints: 99091
2647.09/2655.05 c #Conflicts: 833000 | #Constraints: 100091
2647.09/2655.05 c #Conflicts: 834000 | #Constraints: 101091
2647.09/2655.05 c #Conflicts: 835000 | #Constraints: 102091
2647.09/2655.05 c #Conflicts: 836000 | #Constraints: 103091
2647.09/2655.05 c #Conflicts: 837000 | #Constraints: 104091
2647.09/2655.05 c #Conflicts: 838000 | #Constraints: 105091
3152.45/3161.83 c #Conflicts: 839000 | #Constraints: 106091
3152.45/3161.83 c #Conflicts: 840000 | #Constraints: 107091
3152.45/3161.83 c #Conflicts: 841000 | #Constraints: 108091
3152.45/3161.83 c #Conflicts: 842000 | #Constraints: 109091
3152.45/3161.83 c #Conflicts: 843000 | #Constraints: 110091
3152.45/3161.83 c #Conflicts: 844000 | #Constraints: 111091
3152.45/3161.83 c #Conflicts: 845000 | #Constraints: 112091
3152.45/3161.83 c #Conflicts: 846000 | #Constraints: 113091
3152.45/3161.83 c #Conflicts: 847000 | #Constraints: 114091
3152.45/3161.83 c #Conflicts: 848000 | #Constraints: 115091
3152.45/3161.83 c #Conflicts: 849000 | #Constraints: 116091
3152.45/3161.83 c #Conflicts: 850000 | #Constraints: 117091
3152.45/3161.83 c #Conflicts: 851000 | #Constraints: 118091
3152.45/3161.83 c #Conflicts: 852000 | #Constraints: 119091
3152.45/3161.83 c #Conflicts: 853000 | #Constraints: 120091
3152.45/3161.83 c #Conflicts: 854000 | #Constraints: 121091
3152.45/3161.83 c #Conflicts: 855000 | #Constraints: 122091
3152.45/3161.83 c INPROCESSING
3152.45/3161.83 c GARBAGE COLLECT
3152.45/3161.83 c #Conflicts: 856000 | #Constraints: 70648
3152.45/3161.83 c #Conflicts: 857000 | #Constraints: 71648
3152.45/3161.83 c #Conflicts: 858000 | #Constraints: 72648
3152.45/3161.83 c #Conflicts: 859000 | #Constraints: 73648
3152.45/3161.83 c #Conflicts: 860000 | #Constraints: 74648
3152.45/3161.83 c #Conflicts: 861000 | #Constraints: 75648
3152.45/3161.83 c #Conflicts: 862000 | #Constraints: 76648
3152.45/3161.83 c #Conflicts: 863000 | #Constraints: 77648
3152.45/3161.83 c #Conflicts: 864000 | #Constraints: 78648
3152.45/3161.83 c #Conflicts: 865000 | #Constraints: 79648
3152.45/3161.83 c #Conflicts: 866000 | #Constraints: 80648
3152.45/3161.83 c #Conflicts: 867000 | #Constraints: 81648
3152.45/3161.83 c #Conflicts: 868000 | #Constraints: 82648
3152.45/3161.83 c #Conflicts: 869000 | #Constraints: 83648
3152.45/3161.83 c #Conflicts: 870000 | #Constraints: 84648
3152.45/3161.83 c #Conflicts: 871000 | #Constraints: 85648
3152.45/3161.83 c #Conflicts: 872000 | #Constraints: 86648
3152.45/3161.83 c #Conflicts: 873000 | #Constraints: 87648
3152.45/3161.83 c #Conflicts: 874000 | #Constraints: 88648
3152.45/3161.83 c #Conflicts: 875000 | #Constraints: 89648
3152.45/3161.83 c #Conflicts: 876000 | #Constraints: 90648
3152.45/3161.83 c #Conflicts: 877000 | #Constraints: 91648
3152.45/3161.83 c #Conflicts: 878000 | #Constraints: 92648
3152.45/3161.83 c INPROCESSING
3152.45/3161.83 c GARBAGE COLLECT
3152.45/3161.83 c #Conflicts: 879000 | #Constraints: 62923
3152.45/3161.83 c #Conflicts: 880000 | #Constraints: 63923
3152.45/3161.83 c #Conflicts: 881000 | #Constraints: 64923
3152.45/3161.83 c #Conflicts: 882000 | #Constraints: 65923
3152.45/3161.83 c #Conflicts: 883000 | #Constraints: 66923
3152.45/3161.83 c #Conflicts: 884000 | #Constraints: 67923
3152.45/3161.83 c #Conflicts: 885000 | #Constraints: 68923
3152.45/3161.83 c #Conflicts: 886000 | #Constraints: 69923
3152.45/3161.83 c #Conflicts: 887000 | #Constraints: 70923
3152.45/3161.83 c #Conflicts: 888000 | #Constraints: 71923
3152.45/3161.83 c #Conflicts: 889000 | #Constraints: 72923
3152.45/3161.83 c #Conflicts: 890000 | #Constraints: 73923
3152.45/3161.83 c #Conflicts: 891000 | #Constraints: 74923
3152.45/3161.83 c #Conflicts: 892000 | #Constraints: 75923
3152.45/3161.83 c #Conflicts: 893000 | #Constraints: 76923
3152.45/3161.83 c #Conflicts: 894000 | #Constraints: 77923
3152.45/3161.83 c #Conflicts: 895000 | #Constraints: 78923
3152.45/3161.83 c #Conflicts: 896000 | #Constraints: 79923
3152.45/3161.83 c #Conflicts: 897000 | #Constraints: 80923
3152.45/3161.83 c #Conflicts: 898000 | #Constraints: 81923
3152.45/3161.83 c #Conflicts: 899000 | #Constraints: 82923
3152.45/3161.83 c #Conflicts: 900000 | #Constraints: 83923
3152.45/3161.83 c #Conflicts: 901000 | #Constraints: 84923
3152.45/3161.83 c #Conflicts: 902000 | #Constraints: 85923
3152.45/3161.83 c #Conflicts: 903000 | #Constraints: 86923
3152.45/3161.83 c #Conflicts: 904000 | #Constraints: 87923
3152.45/3161.83 c #Conflicts: 905000 | #Constraints: 88923
3152.45/3161.83 c #Conflicts: 906000 | #Constraints: 89923
3152.45/3161.83 c #Conflicts: 907000 | #Constraints: 90923
3152.45/3161.83 c #Conflicts: 908000 | #Constraints: 91923
3152.45/3161.83 c #Conflicts: 909000 | #Constraints: 92923
3152.45/3161.83 c #Conflicts: 910000 | #Constraints: 93923
3152.45/3161.83 c #Conflicts: 911000 | #Constraints: 94923
3152.45/3161.83 c #Conflicts: 912000 | #Constraints: 95923
3152.45/3161.83 c #Conflicts: 913000 | #Constraints: 96923
3152.45/3161.83 c #Conflicts: 914000 | #Constraints: 97923
3152.45/3161.83 c #Conflicts: 915000 | #Constraints: 98923
3600.07/3610.70 c #Conflicts: 916000 | #Constraints: 99923
3600.07/3610.70 c #Conflicts: 917000 | #Constraints: 100923
3600.07/3610.70 c #Conflicts: 918000 | #Constraints: 101923
3600.07/3610.70 c #Conflicts: 919000 | #Constraints: 102923
3600.07/3610.70 c #Conflicts: 920000 | #Constraints: 103923
3600.07/3610.70 c #Conflicts: 921000 | #Constraints: 104923
3600.07/3610.70 c #Conflicts: 922000 | #Constraints: 105923
3600.07/3610.70 c #Conflicts: 923000 | #Constraints: 106923
3600.07/3610.70 c #Conflicts: 924000 | #Constraints: 107923
3600.07/3610.70 c #Conflicts: 925000 | #Constraints: 108923
3600.07/3610.70 c #Conflicts: 926000 | #Constraints: 109923
3600.07/3610.70 c #Conflicts: 927000 | #Constraints: 110923
3600.07/3610.70 c #Conflicts: 928000 | #Constraints: 111923
3600.07/3610.70 c #Conflicts: 929000 | #Constraints: 112923
3600.07/3610.70 c #Conflicts: 930000 | #Constraints: 113923
3600.07/3610.70 c #Conflicts: 931000 | #Constraints: 114923
3600.07/3610.70 c #Conflicts: 932000 | #Constraints: 115923
3600.07/3610.70 c #Conflicts: 933000 | #Constraints: 116923
3600.07/3610.70 c #Conflicts: 934000 | #Constraints: 117923
3600.07/3610.70 c #Conflicts: 935000 | #Constraints: 118923
3600.07/3610.70 c #Conflicts: 936000 | #Constraints: 119923
3600.07/3610.70 c #Conflicts: 937000 | #Constraints: 120923
3600.07/3610.70 c #Conflicts: 938000 | #Constraints: 121923
3600.07/3610.70 c #Conflicts: 939000 | #Constraints: 122923
3600.07/3610.70 c #Conflicts: 940000 | #Constraints: 123923
3600.07/3610.70 c #Conflicts: 941000 | #Constraints: 124923
3600.07/3610.70 c #Conflicts: 942000 | #Constraints: 125923
3600.07/3610.70 c #Conflicts: 943000 | #Constraints: 126923
3600.07/3610.70 c #Conflicts: 944000 | #Constraints: 127923
3600.07/3610.70 c INPROCESSING
3600.07/3610.70 c GARBAGE COLLECT
3600.07/3610.70 c #Conflicts: 945000 | #Constraints: 73229
3600.07/3610.70 c #Conflicts: 946000 | #Constraints: 74229
3600.07/3610.70 c #Conflicts: 947000 | #Constraints: 75229
3600.07/3610.70 c #Conflicts: 948000 | #Constraints: 76229
3600.07/3610.70 c #Conflicts: 949000 | #Constraints: 77229
3600.07/3610.70 c #Conflicts: 950000 | #Constraints: 78229
3600.07/3610.70 c #Conflicts: 951000 | #Constraints: 79229
3600.07/3610.70 c #Conflicts: 952000 | #Constraints: 80229
3600.07/3610.70 c #Conflicts: 953000 | #Constraints: 81229
3600.07/3610.70 c #Conflicts: 954000 | #Constraints: 82229
3600.07/3610.70 c #Conflicts: 955000 | #Constraints: 83229
3600.07/3610.70 c #Conflicts: 956000 | #Constraints: 84229
3600.07/3610.70 c #Conflicts: 957000 | #Constraints: 85229
3600.07/3610.70 c #Conflicts: 958000 | #Constraints: 86229
3600.07/3610.70 c #Conflicts: 959000 | #Constraints: 87229
3600.07/3610.70 c #Conflicts: 960000 | #Constraints: 88229
3600.07/3610.70 c #Conflicts: 961000 | #Constraints: 89229
3600.07/3610.70 c #Conflicts: 962000 | #Constraints: 90229
3600.07/3610.70 c #Conflicts: 963000 | #Constraints: 91229
3600.07/3610.70 c #Conflicts: 964000 | #Constraints: 92229
3600.07/3610.70 c #Conflicts: 965000 | #Constraints: 93229
3600.07/3610.70 c #Conflicts: 966000 | #Constraints: 94229
3600.07/3610.70 c #Conflicts: 967000 | #Constraints: 95229
3600.07/3610.70 c #Conflicts: 968000 | #Constraints: 96229
3600.07/3610.70 c #Conflicts: 969000 | #Constraints: 97229
3600.07/3610.70 c INPROCESSING
3600.07/3610.70 c GARBAGE COLLECT
3600.07/3610.70 c #Conflicts: 970000 | #Constraints: 66400
3600.07/3610.70 c #Conflicts: 971000 | #Constraints: 67400
3600.07/3610.70 c #Conflicts: 972000 | #Constraints: 68400
3600.07/3610.70 c #Conflicts: 973000 | #Constraints: 69400
3600.07/3610.70 c #Conflicts: 974000 | #Constraints: 70400
3600.07/3610.70 c #Conflicts: 975000 | #Constraints: 71400
3600.07/3610.70 c #Conflicts: 976000 | #Constraints: 72400
3600.07/3610.70 c #Conflicts: 977000 | #Constraints: 73400
3600.07/3610.70 c Program interrupted by user.
3600.07/3610.70 c cpu time 3590.75 s
3600.07/3610.70 c deterministic time 245818540009 2.46e+11
3600.07/3610.70 c optimization time 41.6194 s
3600.07/3610.70 c total solve time 3549.08 s
3600.07/3610.70 c core-guided solve time 3549.08 s
3600.07/3610.70 c propagation time 3030.32 s
3600.07/3610.70 c conflict analysis time 544.868 s
3600.07/3610.70 c propagations 69930837
3600.07/3610.70 c resolve steps 12970864
3600.07/3610.70 c decisions 3911711
3600.07/3610.70 c conflicts 977002
3600.07/3610.70 c restarts 2045
3600.07/3610.70 c inprocessing phases 48
3600.07/3610.70 c input clauses 17108
3600.07/3610.70 c input cardinalities 83
3600.07/3610.70 c input general constraints 48
3600.07/3610.70 c input average constraint length 6.43
3600.07/3610.70 c input average constraint degree 1.12
3600.07/3610.70 c learned clauses 571388
3600.07/3610.70 c learned cardinalities 0
3600.07/3610.70 c learned general constraints 405621
3600.07/3610.70 c learned average constraint length 35.53
3600.07/3610.70 c learned average constraint degree 280.95
3600.07/3610.70 c watched constraints 327311
3600.07/3610.70 c counting constraints 78358
3600.07/3610.70 c gcd simplifications 3204
3600.07/3610.70 c detected cardinalities 0
3600.07/3610.70 c weakened non-implied lits 4346628
3600.07/3610.70 c weakened non-implying lits 8166
3600.07/3610.70 c original variables 200
3600.07/3610.70 c clausal propagations 45947987
3600.07/3610.70 c cardinality propagations 260059
3600.07/3610.70 c watched propagations 2037885
3600.07/3610.70 c counting propagations 21096494
3600.07/3610.70 c watch lookups 81095286536
3600.07/3610.70 c watch backjump lookups 76145270784
3600.07/3610.70 c watch checks 64769604426
3600.07/3610.70 c propagation checks 23535074003
3600.07/3610.70 c constraint additions 124642309
3600.07/3610.70 c trail pops 74819402
3600.07/3610.70 c formula constraints 17013
3600.07/3610.70 c learned constraints 977009
3600.07/3610.70 c bound constraints 23
3600.07/3610.70 c core-guided constraints 203
3600.07/3610.70 c encountered formula constraints 7572010
3600.07/3610.70 c encountered learned constraints 4784536
3600.07/3610.70 c encountered bound constraints 313
3600.07/3610.70 c encountered core-guided constraints 1591007
3600.07/3610.70 c LP total time 0 s
3600.07/3610.70 c LP solve time 0 s
3600.07/3610.70 c LP constraints added 0
3600.07/3610.70 c LP constraints removed 0
3600.07/3610.70 c LP pivots internal 0
3600.07/3610.70 c LP pivots root 0
3600.07/3610.70 c LP calls 0
3600.07/3610.70 c LP optimalities 0
3600.07/3610.70 c LP no pivot count 0
3600.07/3610.70 c LP infeasibilities 0
3600.07/3610.70 c LP valid Farkas constraints 0
3600.07/3610.70 c LP learned Farkas constraints 0
3600.07/3610.70 c LP basis resets 0
3600.07/3610.70 c LP cycling count 0
3600.07/3610.70 c LP singular count 0
3600.07/3610.70 c LP no primal count 0
3600.07/3610.70 c LP no farkas count 0
3600.07/3610.70 c LP other issue count 0
3600.07/3610.70 c LP Gomory cuts 0
3600.07/3610.70 c LP learned cuts 0
3600.07/3610.70 c LP deleted cuts 0
3600.07/3610.70 c LP encountered Gomory constraints 0
3600.07/3610.70 c LP encountered Farkas constraints 0
3600.07/3610.70 c LP encountered learned Farkas constraints 0
3600.07/3610.70 c CG auxiliary variables introduced 111
3600.07/3610.70 c CG solutions found 1
3600.07/3610.70 c CG cores constructed 20
3600.07/3610.70 c CG core cardinality constraints returned 0
3600.07/3610.70 c CG unit cores 0
3600.07/3610.70 c CG single cores 20
3600.07/3610.70 c CG blocks removed during cardinality reduction 0
3600.07/3610.70 c CG first core best 0
3600.07/3610.70 c CG decision core best 0
3600.07/3610.70 c CG core reduction tie 0
3600.07/3610.70 c CG core degree average 1.00
3600.07/3610.70 c CG core slack average 7.95
3600.07/3610.70 c CG exhausted 3
3600.07/3610.70 c CG exhaust time 1.11437 s
3600.07/3610.70 c CG trimmed 0
3600.07/3610.70 c CG trim time 0.000506 s
3600.07/3610.70 c CG minimized 0
3600.07/3610.70 c CG minimize time 0 s
3600.07/3610.70 c CG am1 prop time 0.001187 s
3600.07/3610.70 c CG # am1s reformulated 57
3600.07/3610.70 c CG lower bound derived from am1s 59
3600.07/3610.70 c CG # clausal cores 20
3600.07/3610.70 c CG # cardinality cores 0
3600.07/3610.70 c CG # pb cores 0
3600.07/3610.70 c CG # pb reforms 0
3600.07/3610.70 c CG # cores discarded because of pb reform 0
3600.07/3610.70 d LOWERBOUND -118
3600.07/3610.70 d NCORES 20
3600.07/3610.70 d NPBCORES 0
3600.07/3610.70 d NPBREFORM 0
3600.07/3610.70 d NTRIMMED 0
3600.07/3610.70 d NEXHAUSTED 3
3600.07/3610.70 d NAM1S 57
3600.07/3610.70 d AM1LB 59
3600.07/3610.70 o -49
3600.07/3610.70 s SATISFIABLE
3600.07/3610.70 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
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: 63708 MiB (61491 MiB free)
memory of node 1: 64465 MiB (62774 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522178-1751590160/watcher-4522178-1751590160 -o /tmp/evaluation-result-4522178-1751590160/solver-4522178-1751590160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751590160-82259 --watchdog 3760 pb-oll-rs HOME/instance-4522178-1751590160.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=82302, runsolver pid=82294
[startup+0.10006 s]*
/proc/loadavg: 0.98 1.96 2.92 6/262 82307
/proc/meminfo: memFree=127224476/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=21548 memory=8192 CPUtime=0.08 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 933 0 1 0 7 1 0 0 20 0 1 0 74694687 22065152 2048 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 5387 2048 1344 243 0 1636 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 21548 KiB
Current children cumulated memory: 8192 KiB
[startup+0.205333 s]*
/proc/loadavg: 0.98 1.96 2.92 5/262 82307
/proc/meminfo: memFree=127192220/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=21680 memory=8576 CPUtime=0.19 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 1041 0 1 0 17 2 0 0 20 0 1 0 74694687 22200320 2144 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 5420 2144 1344 243 0 1669 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 21680 KiB
Current children cumulated memory: 8576 KiB
[startup+0.305293 s]*
/proc/loadavg: 0.98 1.96 2.92 5/262 82307
/proc/meminfo: memFree=127167272/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=21812 memory=8960 CPUtime=0.29 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 1125 0 1 0 26 3 0 0 20 0 1 0 74694687 22335488 2240 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 5453 2240 1344 243 0 1702 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 21812 KiB
Current children cumulated memory: 8960 KiB
[startup+0.70014 s]
/proc/loadavg: 0.98 1.96 2.92 5/262 82307
/proc/meminfo: memFree=127127456/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=22544 memory=9832 CPUtime=0.67 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 1396 0 1 0 63 4 0 0 20 0 1 0 74694687 23085056 2458 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 5636 2458 1344 243 0 1885 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 22544 KiB
Current children cumulated memory: 9832 KiB
[startup+1.50016 s]
/proc/loadavg: 0.98 1.96 2.92 5/260 82307
/proc/meminfo: memFree=127014752/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=22808 memory=10472 CPUtime=1.47 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 1542 0 1 0 141 6 0 0 20 0 1 0 74694687 23355392 2618 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 5702 2618 1344 243 0 1951 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 22808 KiB
Current children cumulated memory: 10472 KiB
[startup+3.10523 s]
/proc/loadavg: 1.22 1.99 2.92 5/265 82317
/proc/meminfo: memFree=126618312/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=23336 memory=11240 CPUtime=3.07 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 1739 0 1 0 295 12 0 0 20 0 1 0 74694687 23896064 2810 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 5834 2810 1344 243 0 2083 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 23336 KiB
Current children cumulated memory: 11240 KiB
[startup+6.3001 s]
/proc/loadavg: 1.22 1.99 2.92 5/265 82317
/proc/meminfo: memFree=126382316/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=23488 memory=13624 CPUtime=6.26 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 2192 0 1 0 607 19 0 0 20 0 1 0 74694687 24051712 3406 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 5872 3406 1344 243 0 2121 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 23488 KiB
Current children cumulated memory: 13624 KiB
[startup+12.7001 s]
/proc/loadavg: 1.45 2.02 2.93 5/265 82317
/proc/meminfo: memFree=126167832/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=28036 memory=15656 CPUtime=12.64 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 2873 0 1 0 1237 27 0 0 20 0 1 0 74694687 28708864 3914 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 7009 3914 1344 243 0 3258 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 28036 KiB
Current children cumulated memory: 15656 KiB
[startup+25.5002 s]
/proc/loadavg: 2.01 2.12 2.95 5/265 82317
/proc/meminfo: memFree=125798284/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=29492 memory=17704 CPUtime=25.42 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 3407 0 1 0 2500 42 0 0 20 0 1 0 74694687 30199808 4426 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 7373 4426 1344 243 0 3622 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 29492 KiB
Current children cumulated memory: 17704 KiB
[startup+51.1053 s]
/proc/loadavg: 2.75 2.29 2.98 5/265 82318
/proc/meminfo: memFree=124556892/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=35912 memory=21544 CPUtime=50.96 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 4408 0 1 0 5033 63 0 0 20 0 1 0 74694687 36773888 5386 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 8978 5386 1344 243 0 5227 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 35912 KiB
Current children cumulated memory: 21544 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 2.57 3.04 5/265 82319
/proc/meminfo: memFree=122954252/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=37452 memory=26016 CPUtime=102.02 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 5021 0 1 0 10100 102 0 0 20 0 1 0 74694687 38350848 6504 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 9363 6504 1344 243 0 5612 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 37452 KiB
Current children cumulated memory: 26016 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.86 3.12 5/266 82322
/proc/meminfo: memFree=121142496/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=39028 memory=27624 CPUtime=161.85 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 5565 0 1 0 16048 137 0 0 20 0 1 0 74694687 39964672 6906 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 9757 6906 1344 243 0 6006 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 39028 KiB
Current children cumulated memory: 27624 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 3.09 3.18 5/265 82329
/proc/meminfo: memFree=119778340/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=47980 memory=32808 CPUtime=221.68 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 6506 0 1 0 22001 167 0 0 20 0 1 0 74694687 49131520 8202 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 11995 8202 1344 243 0 8244 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 47980 KiB
Current children cumulated memory: 32808 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.27 3.24 5/265 82331
/proc/meminfo: memFree=118152000/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=47980 memory=33064 CPUtime=281.51 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 6547 0 1 0 27954 197 0 0 20 0 1 0 74694687 49131520 8266 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 11995 8266 1344 243 0 8244 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 47980 KiB
Current children cumulated memory: 33064 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.44 3.30 5/264 82333
/proc/meminfo: memFree=117267684/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=50200 memory=36996 CPUtime=341.34 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 7185 0 1 0 33912 222 0 0 20 0 1 0 74694687 51404800 9249 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 12550 9249 1344 243 0 8799 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 50200 KiB
Current children cumulated memory: 36996 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.56 3.35 6/264 82335
/proc/meminfo: memFree=116855792/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=50200 memory=36996 CPUtime=401.16 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 7202 0 1 0 39870 246 0 0 20 0 1 0 74694687 51404800 9249 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 12550 9249 1344 243 0 8799 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 50200 KiB
Current children cumulated memory: 36996 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.67 3.41 5/263 82337
/proc/meminfo: memFree=115797432/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=51676 memory=38368 CPUtime=460.99 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 7826 0 1 0 45834 265 0 0 20 0 1 0 74694687 52916224 9592 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 12919 9592 1344 243 0 9168 0
################
# More data... #
################
Current children cumulated memory: 65628 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/263 82571
/proc/meminfo: memFree=121217712/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=78984 memory=65628 CPUtime=2913.63 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 13500 0 1 0 290535 828 0 0 20 0 1 0 74694687 80879616 16407 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 19746 16407 1344 243 0 15995 0
Current children cumulated CPU time: 2913.63 s
Current children cumulated vsize: 78984 KiB
Current children cumulated memory: 65628 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 82573
/proc/meminfo: memFree=121165732/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=79148 memory=65756 CPUtime=2973.46 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 13541 0 1 0 296508 838 0 0 20 0 1 0 74694687 81047552 16439 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 19787 16439 1344 243 0 16036 0
Current children cumulated CPU time: 2973.46 s
Current children cumulated vsize: 79148 KiB
Current children cumulated memory: 65756 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 82575
/proc/meminfo: memFree=121173468/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=79148 memory=65756 CPUtime=3033.29 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 13541 0 1 0 302479 850 0 0 20 0 1 0 74694687 81047552 16439 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 19787 16439 1344 243 0 16036 0
Current children cumulated CPU time: 3033.29 s
Current children cumulated vsize: 79148 KiB
Current children cumulated memory: 65756 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 82577
/proc/meminfo: memFree=121015924/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=79148 memory=65756 CPUtime=3093.12 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 13541 0 1 0 308452 860 0 0 20 0 1 0 74694687 81047552 16439 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 19787 16439 1344 243 0 16036 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 79148 KiB
Current children cumulated memory: 65756 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 82579
/proc/meminfo: memFree=120998860/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=79148 memory=65756 CPUtime=3152.95 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 13541 0 1 0 314427 868 0 0 20 0 1 0 74694687 81047552 16439 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 19787 16439 1344 243 0 16036 0
Current children cumulated CPU time: 3152.95 s
Current children cumulated vsize: 79148 KiB
Current children cumulated memory: 65756 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 82586
/proc/meminfo: memFree=120977616/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=79148 memory=65756 CPUtime=3212.78 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 13541 0 1 0 320401 877 0 0 20 0 1 0 74694687 81047552 16439 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 19787 16439 1344 243 0 16036 0
Current children cumulated CPU time: 3212.78 s
Current children cumulated vsize: 79148 KiB
Current children cumulated memory: 65756 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 82589
/proc/meminfo: memFree=120925420/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=79148 memory=65884 CPUtime=3272.61 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 13548 0 1 0 326376 885 0 0 20 0 1 0 74694687 81047552 16471 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 19787 16471 1344 243 0 16036 0
Current children cumulated CPU time: 3272.61 s
Current children cumulated vsize: 79148 KiB
Current children cumulated memory: 65884 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 82591
/proc/meminfo: memFree=120807396/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=79148 memory=66012 CPUtime=3332.44 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 13605 0 1 0 332351 893 0 0 20 0 1 0 74694687 81047552 16503 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 19787 16503 1344 243 0 16036 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 79148 KiB
Current children cumulated memory: 66012 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 82593
/proc/meminfo: memFree=120751600/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=99148 memory=70064 CPUtime=3392.27 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 14105 0 1 0 338325 902 0 0 20 0 1 0 74694687 101527552 17516 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 24787 17516 1344 243 0 21036 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 99148 KiB
Current children cumulated memory: 70064 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 82595
/proc/meminfo: memFree=120705764/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=99148 memory=70064 CPUtime=3452.1 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 14105 0 1 0 344299 911 0 0 20 0 1 0 74694687 101527552 17516 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 24787 17516 1344 243 0 21036 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 99148 KiB
Current children cumulated memory: 70064 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 82599
/proc/meminfo: memFree=120557808/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=99148 memory=72496 CPUtime=3511.91 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 14125 0 1 0 350272 919 0 0 20 0 1 0 74694687 101527552 18124 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 24787 18124 1344 243 0 21036 0
Current children cumulated CPU time: 3511.91 s
Current children cumulated vsize: 99148 KiB
Current children cumulated memory: 72496 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 82601
/proc/meminfo: memFree=120546852/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=99572 memory=72880 CPUtime=3571.74 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 14232 0 1 0 356248 926 0 0 20 0 1 0 74694687 101961728 18220 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 24893 18220 1344 243 0 21142 0
Current children cumulated CPU time: 3571.74 s
Current children cumulated vsize: 99572 KiB
Current children cumulated memory: 72880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 82601
/proc/meminfo: memFree=120531464/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=99572 memory=72880 CPUtime=3600.07 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 14232 0 1 0 359075 932 0 0 20 0 1 0 74694687 101961728 18220 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 24893 18220 1344 243 0 21142 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 99572 KiB
Current children cumulated memory: 72880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 82302 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.75 s, system=9.32271 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 82601
/proc/meminfo: memFree=120531464/131250000 swapFree=33010672/33010684
[pid=82302] ppid=82294 vsize=99572 memory=72880 CPUtime=3600.07 cores=1,3
/proc/82302/stat : 82302 (pb-oll-rs) R 82294 82302 82247 0 -1 4194304 14232 0 1 0 359075 932 0 0 20 0 1 0 74694687 101961728 18220 18446744073709551615 4218880 5211445 140734937802528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13742080 140734937811356 140734937811433 140734937811433 140734937817035 0
/proc/82302/statm: 24893 18220 1344 243 0 21142 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 99572 KiB
Current children cumulated memory: 72880 KiB
Child status: 0
Real time (s): 3610.7
CPU time (s): 3600.08
CPU user time (s): 3590.75
CPU system time (s): 9.32271
CPU usage (%): 99.7057
Max. virtual memory (cumulated for all children) (KiB): 99572
Max. memory (cumulated for all children) (KiB): 72880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.75
system time used= 9.3227
maximum resident set size= 73136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14247
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105
involuntary context switches= 2150
# summary of solver processes directly reported to runsolver:
# pid: 82302
# total CPU time (s): 3600.08
# total CPU user time (s): 3590.75
# total CPU system time (s): 9.32271
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54076 second user time and 15.8818 second system time
The end
Begin job on nodeC026 at 2025-07-04 02:49:20
IDJOB=4522178
IDBENCH=178624
IDSOLVER=3345
FILE ID=nodeC026/4522178-1751590160
RUNJOBID= nodeC026-1751590160-82259
SLURM_JOB_ID= 9598846
Free space on /tmp= 430556 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522178-1751590160/watcher-4522178-1751590160 -o /tmp/evaluation-result-4522178-1751590160/solver-4522178-1751590160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751590160-82259 --watchdog 3760 pb-oll-rs HOME/instance-4522178-1751590160.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 052b56f2871560e549ba2a2e5aff1011
RANDOM SEED=1714370535
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.810
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3598.941
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.040
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.791
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.808
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.484
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.786
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127261944 kB
MemAvailable: 129566024 kB
Buffers: 2128 kB
Cached: 2932088 kB
SwapCached: 4 kB
Active: 748004 kB
Inactive: 2262000 kB
Active(anon): 84176 kB
Inactive(anon): 9688 kB
Active(file): 663828 kB
Inactive(file): 2252312 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19116 kB
Writeback: 0 kB
AnonPages: 78832 kB
Mapped: 103672 kB
Shmem: 18076 kB
KReclaimable: 448740 kB
Slab: 548452 kB
SReclaimable: 448740 kB
SUnreclaim: 99712 kB
KernelStack: 3940 kB
PageTables: 2384 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 339720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430288 MiB
End job on nodeC026 at 2025-07-04 03:49:31