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.47/0.57 c [STEP] solving
0.47/0.57 c #variables 2700 #constraints 43070
0.47/0.57 c SMALL=int, LARGE=long long
0.47/0.57 c bounds - >= 0 @ 0.432936
0.47/0.57 c stratification level: 4
5.64/5.78 c #Conflicts: 1000 | #Constraints: 44069
5.64/5.78 c #Conflicts: 2000 | #Constraints: 45069
5.64/5.78 c INPROCESSING
5.64/5.78 c #Conflicts: 3000 | #Constraints: 45091
5.64/5.78 c #Conflicts: 4000 | #Constraints: 46091
5.64/5.78 c INPROCESSING
5.64/5.78 c #Conflicts: 5000 | #Constraints: 45503
5.64/5.78 c #Conflicts: 6000 | #Constraints: 46503
5.64/5.78 c INPROCESSING
5.64/5.78 c GARBAGE COLLECT
5.64/5.78 c #Conflicts: 7000 | #Constraints: 45516
5.64/5.78 c #Conflicts: 8000 | #Constraints: 46516
5.64/5.78 c #Conflicts: 9000 | #Constraints: 47516
5.64/5.78 c INPROCESSING
5.64/5.78 c #Conflicts: 10000 | #Constraints: 46226
5.64/5.78 c #Conflicts: 11000 | #Constraints: 47226
5.64/5.78 c #Conflicts: 12000 | #Constraints: 48226
5.64/5.78 c INPROCESSING
5.64/5.78 c GARBAGE COLLECT
5.64/5.78 c #Conflicts: 13000 | #Constraints: 46673
5.64/5.78 c #Conflicts: 14000 | #Constraints: 47673
5.64/5.78 c #Conflicts: 15000 | #Constraints: 48673
5.64/5.78 c INPROCESSING
5.64/5.78 c #Conflicts: 16000 | #Constraints: 46915
5.64/5.78 c #Conflicts: 17000 | #Constraints: 47915
5.64/5.78 c #Conflicts: 18000 | #Constraints: 48915
5.64/5.78 c INPROCESSING
5.64/5.78 c GARBAGE COLLECT
5.64/5.78 c #Conflicts: 19000 | #Constraints: 46950
5.64/5.78 c #Conflicts: 20000 | #Constraints: 47950
5.64/5.78 c #Conflicts: 21000 | #Constraints: 48950
5.64/5.78 c INPROCESSING
5.64/5.78 c #Conflicts: 22000 | #Constraints: 46747
5.64/5.78 c #Conflicts: 23000 | #Constraints: 47747
5.64/5.78 c #Conflicts: 24000 | #Constraints: 48747
5.64/5.78 c #Conflicts: 25000 | #Constraints: 49747
5.64/5.78 c INPROCESSING
5.64/5.78 c GARBAGE COLLECT
5.64/5.78 c #Conflicts: 26000 | #Constraints: 47355
5.64/5.78 c #Conflicts: 27000 | #Constraints: 48355
5.64/5.78 c #Conflicts: 28000 | #Constraints: 49355
5.64/5.78 c #Conflicts: 29000 | #Constraints: 50355
5.64/5.78 c INPROCESSING
5.64/5.78 c #Conflicts: 30000 | #Constraints: 47752
5.64/5.78 c #Conflicts: 31000 | #Constraints: 48752
5.64/5.78 c #Conflicts: 32000 | #Constraints: 49752
5.64/5.78 c #Conflicts: 33000 | #Constraints: 50752
5.64/5.78 c INPROCESSING
5.64/5.78 c GARBAGE COLLECT
5.64/5.78 c #Conflicts: 34000 | #Constraints: 47960
5.64/5.78 c #Conflicts: 35000 | #Constraints: 48960
5.64/5.78 c #Conflicts: 36000 | #Constraints: 49960
5.64/5.78 c #Conflicts: 37000 | #Constraints: 50960
5.64/5.78 c INPROCESSING
5.64/5.78 c GARBAGE COLLECT
5.64/5.78 c #Conflicts: 38000 | #Constraints: 47980
5.64/5.78 c #Conflicts: 39000 | #Constraints: 48980
5.64/5.78 c #Conflicts: 40000 | #Constraints: 49980
5.64/5.78 c #Conflicts: 41000 | #Constraints: 50980
5.64/5.78 c INPROCESSING
5.64/5.78 c GARBAGE COLLECT
5.64/5.78 c #Conflicts: 42000 | #Constraints: 47783
5.64/5.78 c #Conflicts: 43000 | #Constraints: 48783
5.64/5.78 c #Conflicts: 44000 | #Constraints: 49783
5.64/5.78 c #Conflicts: 45000 | #Constraints: 50783
5.64/5.78 c #Conflicts: 46000 | #Constraints: 51783
5.64/5.78 c INPROCESSING
5.64/5.78 c GARBAGE COLLECT
5.64/5.78 c #Conflicts: 47000 | #Constraints: 48376
5.64/5.78 c #Conflicts: 48000 | #Constraints: 49376
5.64/5.78 c #Conflicts: 49000 | #Constraints: 50376
5.64/5.78 c #Conflicts: 50000 | #Constraints: 51376
5.64/5.78 c #Conflicts: 51000 | #Constraints: 52376
5.64/5.78 c INPROCESSING
5.64/5.78 c GARBAGE COLLECT
5.64/5.78 c #Conflicts: 52000 | #Constraints: 48788
5.64/5.78 c #Conflicts: 53000 | #Constraints: 49788
5.64/5.78 c #Conflicts: 54000 | #Constraints: 50788
5.64/5.78 c #Conflicts: 55000 | #Constraints: 51788
5.64/5.78 c #Conflicts: 56000 | #Constraints: 52788
5.64/5.78 c INPROCESSING
5.64/5.78 c GARBAGE COLLECT
5.64/5.78 c #Conflicts: 57000 | #Constraints: 48990
5.64/5.78 c #Conflicts: 58000 | #Constraints: 49990
5.64/5.78 c #Conflicts: 59000 | #Constraints: 50990
5.64/5.78 c #Conflicts: 60000 | #Constraints: 51990
5.64/5.78 c #Conflicts: 61000 | #Constraints: 52990
5.64/5.78 c INPROCESSING
5.64/5.78 c GARBAGE COLLECT
5.64/5.78 c #Conflicts: 62000 | #Constraints: 48996
5.64/5.78 c #Conflicts: 63000 | #Constraints: 49996
5.64/5.78 c #Conflicts: 64000 | #Constraints: 50996
5.64/5.78 c #Conflicts: 65000 | #Constraints: 51996
5.64/5.78 c #Conflicts: 66000 | #Constraints: 52996
5.64/5.78 c INPROCESSING
5.64/5.78 c GARBAGE COLLECT
5.64/5.78 c #Conflicts: 67000 | #Constraints: 48807
5.64/5.78 c #Conflicts: 68000 | #Constraints: 49807
5.64/5.78 c #Conflicts: 69000 | #Constraints: 50807
5.64/5.78 c #Conflicts: 70000 | #Constraints: 51807
11.42/11.54 c #Conflicts: 71000 | #Constraints: 52807
11.42/11.54 c #Conflicts: 72000 | #Constraints: 53807
11.42/11.54 c INPROCESSING
11.42/11.54 c GARBAGE COLLECT
11.42/11.54 c #Conflicts: 73000 | #Constraints: 49390
11.42/11.54 c #Conflicts: 74000 | #Constraints: 50390
11.42/11.54 c #Conflicts: 75000 | #Constraints: 51390
11.42/11.54 c #Conflicts: 76000 | #Constraints: 52390
11.42/11.54 c #Conflicts: 77000 | #Constraints: 53390
11.42/11.54 c #Conflicts: 78000 | #Constraints: 54390
11.42/11.54 c INPROCESSING
11.42/11.54 c GARBAGE COLLECT
11.42/11.54 c #Conflicts: 79000 | #Constraints: 49790
11.42/11.54 c #Conflicts: 80000 | #Constraints: 50790
11.42/11.54 c #Conflicts: 81000 | #Constraints: 51790
11.42/11.54 c #Conflicts: 82000 | #Constraints: 52790
11.42/11.54 c #Conflicts: 83000 | #Constraints: 53790
11.42/11.54 c #Conflicts: 84000 | #Constraints: 54790
11.42/11.54 c INPROCESSING
11.42/11.54 c GARBAGE COLLECT
11.42/11.54 c #Conflicts: 85000 | #Constraints: 50011
11.42/11.54 c #Conflicts: 86000 | #Constraints: 51011
11.42/11.54 c #Conflicts: 87000 | #Constraints: 52011
11.42/11.54 c #Conflicts: 88000 | #Constraints: 53011
11.42/11.54 c #Conflicts: 89000 | #Constraints: 54011
11.42/11.54 c #Conflicts: 90000 | #Constraints: 55011
11.42/11.54 c INPROCESSING
11.42/11.54 c GARBAGE COLLECT
11.42/11.54 c #Conflicts: 91000 | #Constraints: 50017
11.42/11.54 c #Conflicts: 92000 | #Constraints: 51017
11.42/11.54 c #Conflicts: 93000 | #Constraints: 52017
11.42/11.54 c #Conflicts: 94000 | #Constraints: 53017
11.42/11.54 c #Conflicts: 95000 | #Constraints: 54017
11.42/11.54 c #Conflicts: 96000 | #Constraints: 55017
11.42/11.54 c INPROCESSING
11.42/11.54 c GARBAGE COLLECT
11.42/11.54 c #Conflicts: 97000 | #Constraints: 49833
11.42/11.54 c #Conflicts: 98000 | #Constraints: 50833
11.42/11.54 c #Conflicts: 99000 | #Constraints: 51833
11.42/11.54 c #Conflicts: 100000 | #Constraints: 52833
11.42/11.54 c #Conflicts: 101000 | #Constraints: 53833
11.42/11.54 c #Conflicts: 102000 | #Constraints: 54833
11.42/11.54 c #Conflicts: 103000 | #Constraints: 55833
11.42/11.54 c INPROCESSING
11.42/11.54 c GARBAGE COLLECT
11.42/11.54 c #Conflicts: 104000 | #Constraints: 50404
11.42/11.54 c #Conflicts: 105000 | #Constraints: 51404
11.42/11.54 c #Conflicts: 106000 | #Constraints: 52404
11.42/11.54 c #Conflicts: 107000 | #Constraints: 53404
11.42/11.54 c #Conflicts: 108000 | #Constraints: 54404
11.42/11.54 c #Conflicts: 109000 | #Constraints: 55404
11.42/11.54 c #Conflicts: 110000 | #Constraints: 56404
11.42/11.54 c INPROCESSING
11.42/11.54 c GARBAGE COLLECT
11.42/11.54 c #Conflicts: 111000 | #Constraints: 50809
11.42/11.54 c #Conflicts: 112000 | #Constraints: 51809
11.42/11.54 c #Conflicts: 113000 | #Constraints: 52809
11.42/11.54 c #Conflicts: 114000 | #Constraints: 53809
11.42/11.54 c #Conflicts: 115000 | #Constraints: 54809
11.42/11.54 c #Conflicts: 116000 | #Constraints: 55809
11.42/11.54 c #Conflicts: 117000 | #Constraints: 56809
11.42/11.54 c INPROCESSING
11.42/11.54 c GARBAGE COLLECT
11.42/11.54 c #Conflicts: 118000 | #Constraints: 51006
11.42/11.54 c #Conflicts: 119000 | #Constraints: 52006
11.42/11.54 c #Conflicts: 120000 | #Constraints: 53006
11.42/11.54 c #Conflicts: 121000 | #Constraints: 54006
11.42/11.54 c #Conflicts: 122000 | #Constraints: 55006
11.42/11.54 c #Conflicts: 123000 | #Constraints: 56006
11.42/11.54 c #Conflicts: 124000 | #Constraints: 57006
11.42/11.54 c INPROCESSING
11.42/11.54 c GARBAGE COLLECT
11.42/11.54 c #Conflicts: 125000 | #Constraints: 51031
11.42/11.54 c #Conflicts: 126000 | #Constraints: 52031
11.42/11.54 c #Conflicts: 127000 | #Constraints: 53031
11.42/11.54 c #Conflicts: 128000 | #Constraints: 54031
11.42/11.54 c #Conflicts: 129000 | #Constraints: 55031
11.42/11.54 c #Conflicts: 130000 | #Constraints: 56031
11.42/11.54 c #Conflicts: 131000 | #Constraints: 57031
11.42/11.54 c INPROCESSING
11.42/11.54 c GARBAGE COLLECT
11.42/11.54 c #Conflicts: 132000 | #Constraints: 50833
11.42/11.54 c #Conflicts: 133000 | #Constraints: 51833
11.42/11.54 c #Conflicts: 134000 | #Constraints: 52833
11.42/11.54 c #Conflicts: 135000 | #Constraints: 53833
11.42/11.54 c #Conflicts: 136000 | #Constraints: 54833
11.42/11.54 c #Conflicts: 137000 | #Constraints: 55833
11.42/11.54 c #Conflicts: 138000 | #Constraints: 56833
11.42/11.54 c #Conflicts: 139000 | #Constraints: 57833
11.42/11.54 c INPROCESSING
11.42/11.54 c GARBAGE COLLECT
11.42/11.54 c #Conflicts: 140000 | #Constraints: 51443
11.42/11.54 c #Conflicts: 141000 | #Constraints: 52443
11.42/11.54 c #Conflicts: 142000 | #Constraints: 53443
18.61/18.79 c #Conflicts: 143000 | #Constraints: 54443
18.61/18.79 c #Conflicts: 144000 | #Constraints: 55443
18.61/18.79 c #Conflicts: 145000 | #Constraints: 56443
18.61/18.79 c #Conflicts: 146000 | #Constraints: 57443
18.61/18.79 c #Conflicts: 147000 | #Constraints: 58443
18.61/18.79 c INPROCESSING
18.61/18.79 c GARBAGE COLLECT
18.61/18.79 c #Conflicts: 148000 | #Constraints: 51843
18.61/18.79 c #Conflicts: 149000 | #Constraints: 52843
18.61/18.79 c #Conflicts: 150000 | #Constraints: 53843
18.61/18.79 c #Conflicts: 151000 | #Constraints: 54843
18.61/18.79 c #Conflicts: 152000 | #Constraints: 55843
18.61/18.79 c #Conflicts: 153000 | #Constraints: 56843
18.61/18.79 c #Conflicts: 154000 | #Constraints: 57843
18.61/18.79 c #Conflicts: 155000 | #Constraints: 58843
18.61/18.79 c INPROCESSING
18.61/18.79 c GARBAGE COLLECT
18.61/18.79 c #Conflicts: 156000 | #Constraints: 52045
18.61/18.79 c #Conflicts: 157000 | #Constraints: 53045
18.61/18.79 c #Conflicts: 158000 | #Constraints: 54045
18.61/18.79 c #Conflicts: 159000 | #Constraints: 55045
18.61/18.79 c #Conflicts: 160000 | #Constraints: 56045
18.61/18.79 c #Conflicts: 161000 | #Constraints: 57045
18.61/18.79 c #Conflicts: 162000 | #Constraints: 58045
18.61/18.79 c #Conflicts: 163000 | #Constraints: 59045
18.61/18.79 c INPROCESSING
18.61/18.79 c GARBAGE COLLECT
18.61/18.79 c #Conflicts: 164000 | #Constraints: 52052
18.61/18.79 c #Conflicts: 165000 | #Constraints: 53052
18.61/18.79 c #Conflicts: 166000 | #Constraints: 54052
18.61/18.79 c #Conflicts: 167000 | #Constraints: 55052
18.61/18.79 c #Conflicts: 168000 | #Constraints: 56052
18.61/18.79 c #Conflicts: 169000 | #Constraints: 57052
18.61/18.79 c #Conflicts: 170000 | #Constraints: 58052
18.61/18.79 c #Conflicts: 171000 | #Constraints: 59052
18.61/18.79 c INPROCESSING
18.61/18.79 c GARBAGE COLLECT
18.61/18.79 c #Conflicts: 172000 | #Constraints: 51854
18.61/18.79 c #Conflicts: 173000 | #Constraints: 52854
18.61/18.79 c #Conflicts: 174000 | #Constraints: 53854
18.61/18.79 c #Conflicts: 175000 | #Constraints: 54854
18.61/18.79 c #Conflicts: 176000 | #Constraints: 55854
18.61/18.79 c #Conflicts: 177000 | #Constraints: 56854
18.61/18.79 c #Conflicts: 178000 | #Constraints: 57854
18.61/18.79 c #Conflicts: 179000 | #Constraints: 58854
18.61/18.79 c #Conflicts: 180000 | #Constraints: 59854
18.61/18.79 c INPROCESSING
18.61/18.79 c GARBAGE COLLECT
18.61/18.79 c #Conflicts: 181000 | #Constraints: 52451
18.61/18.79 c #Conflicts: 182000 | #Constraints: 53451
18.61/18.79 c #Conflicts: 183000 | #Constraints: 54451
18.61/18.79 c #Conflicts: 184000 | #Constraints: 55451
18.61/18.79 c #Conflicts: 185000 | #Constraints: 56451
18.61/18.79 c #Conflicts: 186000 | #Constraints: 57451
18.61/18.79 c #Conflicts: 187000 | #Constraints: 58451
18.61/18.79 c #Conflicts: 188000 | #Constraints: 59451
18.61/18.79 c #Conflicts: 189000 | #Constraints: 60451
18.61/18.79 c INPROCESSING
18.61/18.79 c GARBAGE COLLECT
18.61/18.79 c #Conflicts: 190000 | #Constraints: 52859
18.61/18.79 c #Conflicts: 191000 | #Constraints: 53859
18.61/18.79 c #Conflicts: 192000 | #Constraints: 54859
18.61/18.79 c #Conflicts: 193000 | #Constraints: 55859
18.61/18.79 c #Conflicts: 194000 | #Constraints: 56859
18.61/18.79 c #Conflicts: 195000 | #Constraints: 57859
18.61/18.79 c #Conflicts: 196000 | #Constraints: 58859
18.61/18.79 c #Conflicts: 197000 | #Constraints: 59859
18.61/18.79 c #Conflicts: 198000 | #Constraints: 60859
18.61/18.79 c INPROCESSING
18.61/18.79 c GARBAGE COLLECT
18.61/18.79 c #Conflicts: 199000 | #Constraints: 53077
18.61/18.79 c #Conflicts: 200000 | #Constraints: 54077
18.61/18.79 c #Conflicts: 201000 | #Constraints: 55077
18.61/18.79 c #Conflicts: 202000 | #Constraints: 56077
18.61/18.79 c #Conflicts: 203000 | #Constraints: 57077
18.61/18.79 c #Conflicts: 204000 | #Constraints: 58077
18.61/18.79 c #Conflicts: 205000 | #Constraints: 59077
18.61/18.79 c #Conflicts: 206000 | #Constraints: 60077
18.61/18.79 c #Conflicts: 207000 | #Constraints: 61077
18.61/18.79 c INPROCESSING
18.61/18.79 c GARBAGE COLLECT
18.61/18.79 c #Conflicts: 208000 | #Constraints: 53109
18.61/18.79 c #Conflicts: 209000 | #Constraints: 54109
18.61/18.79 c #Conflicts: 210000 | #Constraints: 55109
18.61/18.79 c #Conflicts: 211000 | #Constraints: 56109
18.61/18.79 c #Conflicts: 212000 | #Constraints: 57109
18.61/18.79 c #Conflicts: 213000 | #Constraints: 58109
18.61/18.79 c #Conflicts: 214000 | #Constraints: 59109
18.61/18.79 c #Conflicts: 215000 | #Constraints: 60109
27.18/27.38 c #Conflicts: 216000 | #Constraints: 61109
27.18/27.38 c INPROCESSING
27.18/27.38 c GARBAGE COLLECT
27.18/27.38 c #Conflicts: 217000 | #Constraints: 52906
27.18/27.38 c #Conflicts: 218000 | #Constraints: 53906
27.18/27.38 c #Conflicts: 219000 | #Constraints: 54906
27.18/27.38 c #Conflicts: 220000 | #Constraints: 55906
27.18/27.38 c #Conflicts: 221000 | #Constraints: 56906
27.18/27.38 c #Conflicts: 222000 | #Constraints: 57906
27.18/27.38 c #Conflicts: 223000 | #Constraints: 58906
27.18/27.38 c #Conflicts: 224000 | #Constraints: 59906
27.18/27.38 c #Conflicts: 225000 | #Constraints: 60906
27.18/27.38 c #Conflicts: 226000 | #Constraints: 61906
27.18/27.38 c INPROCESSING
27.18/27.38 c GARBAGE COLLECT
27.18/27.38 c #Conflicts: 227000 | #Constraints: 53482
27.18/27.38 c #Conflicts: 228000 | #Constraints: 54482
27.18/27.38 c #Conflicts: 229000 | #Constraints: 55482
27.18/27.38 c #Conflicts: 230000 | #Constraints: 56482
27.18/27.38 c #Conflicts: 231000 | #Constraints: 57482
27.18/27.38 c #Conflicts: 232000 | #Constraints: 58482
27.18/27.38 c #Conflicts: 233000 | #Constraints: 59482
27.18/27.38 c #Conflicts: 234000 | #Constraints: 60482
27.18/27.38 c #Conflicts: 235000 | #Constraints: 61482
27.18/27.38 c #Conflicts: 236000 | #Constraints: 62482
27.18/27.38 c INPROCESSING
27.18/27.38 c GARBAGE COLLECT
27.18/27.38 c #Conflicts: 237000 | #Constraints: 53880
27.18/27.38 c #Conflicts: 238000 | #Constraints: 54880
27.18/27.38 c #Conflicts: 239000 | #Constraints: 55880
27.18/27.38 c #Conflicts: 240000 | #Constraints: 56880
27.18/27.38 c #Conflicts: 241000 | #Constraints: 57880
27.18/27.38 c #Conflicts: 242000 | #Constraints: 58880
27.18/27.38 c #Conflicts: 243000 | #Constraints: 59880
27.18/27.38 c #Conflicts: 244000 | #Constraints: 60880
27.18/27.38 c #Conflicts: 245000 | #Constraints: 61880
27.18/27.38 c #Conflicts: 246000 | #Constraints: 62880
27.18/27.38 c INPROCESSING
27.18/27.38 c GARBAGE COLLECT
27.18/27.38 c #Conflicts: 247000 | #Constraints: 54081
27.18/27.38 c #Conflicts: 248000 | #Constraints: 55081
27.18/27.38 c #Conflicts: 249000 | #Constraints: 56081
27.18/27.38 c #Conflicts: 250000 | #Constraints: 57081
27.18/27.38 c #Conflicts: 251000 | #Constraints: 58081
27.18/27.38 c #Conflicts: 252000 | #Constraints: 59081
27.18/27.38 c #Conflicts: 253000 | #Constraints: 60081
27.18/27.38 c #Conflicts: 254000 | #Constraints: 61081
27.18/27.38 c #Conflicts: 255000 | #Constraints: 62081
27.18/27.38 c #Conflicts: 256000 | #Constraints: 63081
27.18/27.38 c INPROCESSING
27.18/27.38 c GARBAGE COLLECT
27.18/27.38 c #Conflicts: 257000 | #Constraints: 54091
27.18/27.38 c #Conflicts: 258000 | #Constraints: 55091
27.18/27.38 c #Conflicts: 259000 | #Constraints: 56091
27.18/27.38 c #Conflicts: 260000 | #Constraints: 57091
27.18/27.38 c #Conflicts: 261000 | #Constraints: 58091
27.18/27.38 c #Conflicts: 262000 | #Constraints: 59091
27.18/27.38 c #Conflicts: 263000 | #Constraints: 60091
27.18/27.38 c #Conflicts: 264000 | #Constraints: 61091
27.18/27.38 c #Conflicts: 265000 | #Constraints: 62091
27.18/27.38 c #Conflicts: 266000 | #Constraints: 63091
27.18/27.38 c INPROCESSING
27.18/27.38 c GARBAGE COLLECT
27.18/27.38 c #Conflicts: 267000 | #Constraints: 53898
27.18/27.38 c #Conflicts: 268000 | #Constraints: 54898
27.18/27.38 c #Conflicts: 269000 | #Constraints: 55898
27.18/27.38 c #Conflicts: 270000 | #Constraints: 56898
27.18/27.38 c #Conflicts: 271000 | #Constraints: 57898
27.18/27.38 c #Conflicts: 272000 | #Constraints: 58898
27.18/27.38 c #Conflicts: 273000 | #Constraints: 59898
27.18/27.38 c #Conflicts: 274000 | #Constraints: 60898
27.18/27.38 c #Conflicts: 275000 | #Constraints: 61898
27.18/27.38 c #Conflicts: 276000 | #Constraints: 62898
27.18/27.38 c #Conflicts: 277000 | #Constraints: 63898
27.18/27.38 c INPROCESSING
27.18/27.38 c GARBAGE COLLECT
27.18/27.38 c #Conflicts: 278000 | #Constraints: 54499
27.18/27.38 c #Conflicts: 279000 | #Constraints: 55499
27.18/27.38 c #Conflicts: 280000 | #Constraints: 56499
27.18/27.38 c #Conflicts: 281000 | #Constraints: 57499
27.18/27.38 c #Conflicts: 282000 | #Constraints: 58499
27.18/27.38 c #Conflicts: 283000 | #Constraints: 59499
27.18/27.38 c #Conflicts: 284000 | #Constraints: 60499
27.18/27.38 c #Conflicts: 285000 | #Constraints: 61499
27.18/27.38 c #Conflicts: 286000 | #Constraints: 62499
27.18/27.38 c #Conflicts: 287000 | #Constraints: 63499
27.18/27.38 c #Conflicts: 288000 | #Constraints: 64499
27.18/27.38 c INPROCESSING
27.18/27.38 c GARBAGE COLLECT
27.18/27.38 c #Conflicts: 289000 | #Constraints: 54925
38.25/38.43 c #Conflicts: 290000 | #Constraints: 55925
38.25/38.43 c #Conflicts: 291000 | #Constraints: 56925
38.25/38.43 c #Conflicts: 292000 | #Constraints: 57925
38.25/38.43 c #Conflicts: 293000 | #Constraints: 58925
38.25/38.43 c #Conflicts: 294000 | #Constraints: 59925
38.25/38.43 c #Conflicts: 295000 | #Constraints: 60925
38.25/38.43 c #Conflicts: 296000 | #Constraints: 61925
38.25/38.43 c #Conflicts: 297000 | #Constraints: 62925
38.25/38.43 c #Conflicts: 298000 | #Constraints: 63925
38.25/38.43 c #Conflicts: 299000 | #Constraints: 64925
38.25/38.43 c INPROCESSING
38.25/38.43 c GARBAGE COLLECT
38.25/38.43 c #Conflicts: 300000 | #Constraints: 55118
38.25/38.43 c #Conflicts: 301000 | #Constraints: 56118
38.25/38.43 c #Conflicts: 302000 | #Constraints: 57118
38.25/38.43 c #Conflicts: 303000 | #Constraints: 58118
38.25/38.43 c #Conflicts: 304000 | #Constraints: 59118
38.25/38.43 c #Conflicts: 305000 | #Constraints: 60118
38.25/38.43 c #Conflicts: 306000 | #Constraints: 61118
38.25/38.43 c #Conflicts: 307000 | #Constraints: 62118
38.25/38.43 c #Conflicts: 308000 | #Constraints: 63118
38.25/38.43 c #Conflicts: 309000 | #Constraints: 64118
38.25/38.43 c #Conflicts: 310000 | #Constraints: 65118
38.25/38.43 c INPROCESSING
38.25/38.43 c GARBAGE COLLECT
38.25/38.43 c #Conflicts: 311000 | #Constraints: 55109
38.25/38.43 c #Conflicts: 312000 | #Constraints: 56109
38.25/38.43 c #Conflicts: 313000 | #Constraints: 57109
38.25/38.43 c #Conflicts: 314000 | #Constraints: 58109
38.25/38.43 c #Conflicts: 315000 | #Constraints: 59109
38.25/38.43 c #Conflicts: 316000 | #Constraints: 60109
38.25/38.43 c #Conflicts: 317000 | #Constraints: 61109
38.25/38.43 c #Conflicts: 318000 | #Constraints: 62109
38.25/38.43 c #Conflicts: 319000 | #Constraints: 63109
38.25/38.43 c #Conflicts: 320000 | #Constraints: 64109
38.25/38.43 c #Conflicts: 321000 | #Constraints: 65109
38.25/38.43 c INPROCESSING
38.25/38.43 c GARBAGE COLLECT
38.25/38.43 c #Conflicts: 322000 | #Constraints: 54932
38.25/38.43 c #Conflicts: 323000 | #Constraints: 55932
38.25/38.43 c #Conflicts: 324000 | #Constraints: 56932
38.25/38.43 c #Conflicts: 325000 | #Constraints: 57932
38.25/38.43 c #Conflicts: 326000 | #Constraints: 58932
38.25/38.43 c #Conflicts: 327000 | #Constraints: 59932
38.25/38.43 c #Conflicts: 328000 | #Constraints: 60932
38.25/38.43 c #Conflicts: 329000 | #Constraints: 61932
38.25/38.43 c #Conflicts: 330000 | #Constraints: 62932
38.25/38.43 c #Conflicts: 331000 | #Constraints: 63932
38.25/38.43 c #Conflicts: 332000 | #Constraints: 64932
38.25/38.43 c #Conflicts: 333000 | #Constraints: 65932
38.25/38.43 c INPROCESSING
38.25/38.43 c GARBAGE COLLECT
38.25/38.43 c #Conflicts: 334000 | #Constraints: 55538
38.25/38.43 c #Conflicts: 335000 | #Constraints: 56538
38.25/38.43 c #Conflicts: 336000 | #Constraints: 57538
38.25/38.43 c #Conflicts: 337000 | #Constraints: 58538
38.25/38.43 c #Conflicts: 338000 | #Constraints: 59538
38.25/38.43 c #Conflicts: 339000 | #Constraints: 60538
38.25/38.43 c #Conflicts: 340000 | #Constraints: 61538
38.25/38.43 c #Conflicts: 341000 | #Constraints: 62538
38.25/38.43 c #Conflicts: 342000 | #Constraints: 63538
38.25/38.43 c #Conflicts: 343000 | #Constraints: 64538
38.25/38.43 c #Conflicts: 344000 | #Constraints: 65538
38.25/38.43 c #Conflicts: 345000 | #Constraints: 66538
38.25/38.43 c INPROCESSING
38.25/38.43 c GARBAGE COLLECT
38.25/38.43 c #Conflicts: 346000 | #Constraints: 55964
38.25/38.43 c #Conflicts: 347000 | #Constraints: 56964
38.25/38.43 c #Conflicts: 348000 | #Constraints: 57964
38.25/38.43 c #Conflicts: 349000 | #Constraints: 58964
38.25/38.43 c #Conflicts: 350000 | #Constraints: 59964
38.25/38.43 c #Conflicts: 351000 | #Constraints: 60964
38.25/38.43 c #Conflicts: 352000 | #Constraints: 61964
38.25/38.43 c #Conflicts: 353000 | #Constraints: 62964
38.25/38.43 c #Conflicts: 354000 | #Constraints: 63964
38.25/38.43 c #Conflicts: 355000 | #Constraints: 64964
38.25/38.43 c #Conflicts: 356000 | #Constraints: 65964
38.25/38.43 c #Conflicts: 357000 | #Constraints: 66964
38.25/38.43 c INPROCESSING
38.25/38.43 c GARBAGE COLLECT
38.25/38.43 c #Conflicts: 358000 | #Constraints: 56131
38.25/38.43 c #Conflicts: 359000 | #Constraints: 57131
38.25/38.43 c #Conflicts: 360000 | #Constraints: 58131
38.25/38.43 c #Conflicts: 361000 | #Constraints: 59131
38.25/38.43 c #Conflicts: 362000 | #Constraints: 60131
38.25/38.43 c #Conflicts: 363000 | #Constraints: 61131
38.25/38.43 c #Conflicts: 364000 | #Constraints: 62131
51.22/51.49 c #Conflicts: 365000 | #Constraints: 63131
51.22/51.49 c #Conflicts: 366000 | #Constraints: 64131
51.22/51.49 c #Conflicts: 367000 | #Constraints: 65131
51.22/51.49 c #Conflicts: 368000 | #Constraints: 66131
51.22/51.49 c #Conflicts: 369000 | #Constraints: 67131
51.22/51.49 c INPROCESSING
51.22/51.49 c GARBAGE COLLECT
51.22/51.49 c #Conflicts: 370000 | #Constraints: 56125
51.22/51.49 c #Conflicts: 371000 | #Constraints: 57125
51.22/51.49 c #Conflicts: 372000 | #Constraints: 58125
51.22/51.49 c #Conflicts: 373000 | #Constraints: 59125
51.22/51.49 c #Conflicts: 374000 | #Constraints: 60125
51.22/51.49 c #Conflicts: 375000 | #Constraints: 61125
51.22/51.49 c #Conflicts: 376000 | #Constraints: 62125
51.22/51.49 c #Conflicts: 377000 | #Constraints: 63125
51.22/51.49 c #Conflicts: 378000 | #Constraints: 64125
51.22/51.49 c #Conflicts: 379000 | #Constraints: 65125
51.22/51.49 c #Conflicts: 380000 | #Constraints: 66125
51.22/51.49 c #Conflicts: 381000 | #Constraints: 67125
51.22/51.49 c INPROCESSING
51.22/51.49 c GARBAGE COLLECT
51.22/51.49 c #Conflicts: 382000 | #Constraints: 55922
51.22/51.49 c #Conflicts: 383000 | #Constraints: 56922
51.22/51.49 c #Conflicts: 384000 | #Constraints: 57922
51.22/51.49 c #Conflicts: 385000 | #Constraints: 58922
51.22/51.49 c #Conflicts: 386000 | #Constraints: 59922
51.22/51.49 c #Conflicts: 387000 | #Constraints: 60922
51.22/51.49 c #Conflicts: 388000 | #Constraints: 61922
51.22/51.49 c #Conflicts: 389000 | #Constraints: 62922
51.22/51.49 c #Conflicts: 390000 | #Constraints: 63922
51.22/51.49 c #Conflicts: 391000 | #Constraints: 64922
51.22/51.49 c #Conflicts: 392000 | #Constraints: 65922
51.22/51.49 c #Conflicts: 393000 | #Constraints: 66922
51.22/51.49 c #Conflicts: 394000 | #Constraints: 67922
51.22/51.49 c INPROCESSING
51.22/51.49 c GARBAGE COLLECT
51.22/51.49 c #Conflicts: 395000 | #Constraints: 56538
51.22/51.49 c #Conflicts: 396000 | #Constraints: 57538
51.22/51.49 c #Conflicts: 397000 | #Constraints: 58538
51.22/51.49 c #Conflicts: 398000 | #Constraints: 59538
51.22/51.49 c #Conflicts: 399000 | #Constraints: 60538
51.22/51.49 c #Conflicts: 400000 | #Constraints: 61538
51.22/51.49 c #Conflicts: 401000 | #Constraints: 62538
51.22/51.49 c #Conflicts: 402000 | #Constraints: 63538
51.22/51.49 c #Conflicts: 403000 | #Constraints: 64538
51.22/51.49 c #Conflicts: 404000 | #Constraints: 65538
51.22/51.49 c #Conflicts: 405000 | #Constraints: 66538
51.22/51.49 c #Conflicts: 406000 | #Constraints: 67538
51.22/51.49 c #Conflicts: 407000 | #Constraints: 68538
51.22/51.49 c INPROCESSING
51.22/51.49 c GARBAGE COLLECT
51.22/51.49 c #Conflicts: 408000 | #Constraints: 56933
51.22/51.49 c #Conflicts: 409000 | #Constraints: 57933
51.22/51.49 c #Conflicts: 410000 | #Constraints: 58933
51.22/51.49 c #Conflicts: 411000 | #Constraints: 59933
51.22/51.49 c #Conflicts: 412000 | #Constraints: 60933
51.22/51.49 c #Conflicts: 413000 | #Constraints: 61933
51.22/51.49 c #Conflicts: 414000 | #Constraints: 62933
51.22/51.49 c #Conflicts: 415000 | #Constraints: 63933
51.22/51.49 c #Conflicts: 416000 | #Constraints: 64933
51.22/51.49 c #Conflicts: 417000 | #Constraints: 65933
51.22/51.49 c #Conflicts: 418000 | #Constraints: 66933
51.22/51.49 c #Conflicts: 419000 | #Constraints: 67933
51.22/51.49 c #Conflicts: 420000 | #Constraints: 68933
51.22/51.49 c INPROCESSING
51.22/51.49 c GARBAGE COLLECT
51.22/51.49 c #Conflicts: 421000 | #Constraints: 57143
51.22/51.49 c #Conflicts: 422000 | #Constraints: 58143
51.22/51.49 c #Conflicts: 423000 | #Constraints: 59143
51.22/51.49 c #Conflicts: 424000 | #Constraints: 60143
51.22/51.49 c #Conflicts: 425000 | #Constraints: 61143
51.22/51.49 c #Conflicts: 426000 | #Constraints: 62143
51.22/51.49 c #Conflicts: 427000 | #Constraints: 63143
51.22/51.49 c #Conflicts: 428000 | #Constraints: 64143
51.22/51.49 c #Conflicts: 429000 | #Constraints: 65143
51.22/51.49 c #Conflicts: 430000 | #Constraints: 66143
51.22/51.49 c #Conflicts: 431000 | #Constraints: 67143
51.22/51.49 c #Conflicts: 432000 | #Constraints: 68143
51.22/51.49 c #Conflicts: 433000 | #Constraints: 69143
51.22/51.49 c INPROCESSING
51.22/51.49 c GARBAGE COLLECT
51.22/51.49 c #Conflicts: 434000 | #Constraints: 57138
51.22/51.49 c #Conflicts: 435000 | #Constraints: 58138
51.22/51.49 c #Conflicts: 436000 | #Constraints: 59138
51.22/51.49 c #Conflicts: 437000 | #Constraints: 60138
51.22/51.49 c #Conflicts: 438000 | #Constraints: 61138
51.22/51.49 c #Conflicts: 439000 | #Constraints: 62138
65.18/65.45 c #Conflicts: 440000 | #Constraints: 63138
65.18/65.45 c #Conflicts: 441000 | #Constraints: 64138
65.18/65.45 c #Conflicts: 442000 | #Constraints: 65138
65.18/65.45 c #Conflicts: 443000 | #Constraints: 66138
65.18/65.45 c #Conflicts: 444000 | #Constraints: 67138
65.18/65.45 c #Conflicts: 445000 | #Constraints: 68138
65.18/65.45 c #Conflicts: 446000 | #Constraints: 69138
65.18/65.45 c INPROCESSING
65.18/65.45 c GARBAGE COLLECT
65.18/65.45 c #Conflicts: 447000 | #Constraints: 56957
65.18/65.45 c #Conflicts: 448000 | #Constraints: 57957
65.18/65.45 c #Conflicts: 449000 | #Constraints: 58957
65.18/65.45 c #Conflicts: 450000 | #Constraints: 59957
65.18/65.45 c #Conflicts: 451000 | #Constraints: 60957
65.18/65.45 c #Conflicts: 452000 | #Constraints: 61957
65.18/65.45 c #Conflicts: 453000 | #Constraints: 62957
65.18/65.45 c #Conflicts: 454000 | #Constraints: 63957
65.18/65.45 c #Conflicts: 455000 | #Constraints: 64957
65.18/65.45 c #Conflicts: 456000 | #Constraints: 65957
65.18/65.45 c #Conflicts: 457000 | #Constraints: 66957
65.18/65.45 c #Conflicts: 458000 | #Constraints: 67957
65.18/65.45 c #Conflicts: 459000 | #Constraints: 68957
65.18/65.45 c #Conflicts: 460000 | #Constraints: 69957
65.18/65.45 c INPROCESSING
65.18/65.45 c GARBAGE COLLECT
65.18/65.45 c #Conflicts: 461000 | #Constraints: 57567
65.18/65.45 c #Conflicts: 462000 | #Constraints: 58567
65.18/65.45 c #Conflicts: 463000 | #Constraints: 59567
65.18/65.45 c #Conflicts: 464000 | #Constraints: 60567
65.18/65.45 c #Conflicts: 465000 | #Constraints: 61567
65.18/65.45 c #Conflicts: 466000 | #Constraints: 62567
65.18/65.45 c #Conflicts: 467000 | #Constraints: 63567
65.18/65.45 c #Conflicts: 468000 | #Constraints: 64567
65.18/65.45 c #Conflicts: 469000 | #Constraints: 65567
65.18/65.45 c #Conflicts: 470000 | #Constraints: 66567
65.18/65.45 c #Conflicts: 471000 | #Constraints: 67567
65.18/65.45 c #Conflicts: 472000 | #Constraints: 68567
65.18/65.45 c #Conflicts: 473000 | #Constraints: 69567
65.18/65.45 c #Conflicts: 474000 | #Constraints: 70567
65.18/65.45 c INPROCESSING
65.18/65.45 c GARBAGE COLLECT
65.18/65.45 c #Conflicts: 475000 | #Constraints: 57959
65.18/65.45 c #Conflicts: 476000 | #Constraints: 58959
65.18/65.45 c #Conflicts: 477000 | #Constraints: 59959
65.18/65.45 c #Conflicts: 478000 | #Constraints: 60959
65.18/65.45 c #Conflicts: 479000 | #Constraints: 61959
65.18/65.45 c #Conflicts: 480000 | #Constraints: 62959
65.18/65.45 c #Conflicts: 481000 | #Constraints: 63959
65.18/65.45 c #Conflicts: 482000 | #Constraints: 64959
65.18/65.45 c #Conflicts: 483000 | #Constraints: 65959
65.18/65.45 c #Conflicts: 484000 | #Constraints: 66959
65.18/65.45 c #Conflicts: 485000 | #Constraints: 67959
65.18/65.45 c #Conflicts: 486000 | #Constraints: 68959
65.18/65.45 c #Conflicts: 487000 | #Constraints: 69959
65.18/65.45 c #Conflicts: 488000 | #Constraints: 70959
65.18/65.45 c INPROCESSING
65.18/65.45 c GARBAGE COLLECT
65.18/65.45 c #Conflicts: 489000 | #Constraints: 58178
65.18/65.45 c #Conflicts: 490000 | #Constraints: 59178
65.18/65.45 c #Conflicts: 491000 | #Constraints: 60178
65.18/65.45 c #Conflicts: 492000 | #Constraints: 61178
65.18/65.45 c #Conflicts: 493000 | #Constraints: 62178
65.18/65.45 c #Conflicts: 494000 | #Constraints: 63178
65.18/65.45 c #Conflicts: 495000 | #Constraints: 64178
65.18/65.45 c #Conflicts: 496000 | #Constraints: 65178
65.18/65.45 c #Conflicts: 497000 | #Constraints: 66178
65.18/65.45 c #Conflicts: 498000 | #Constraints: 67178
65.18/65.45 c bounds - >= 4 @ 63.2784
65.18/65.45 c finalizing WCE round: reformulating cores
101.39/101.71 c #Conflicts: 499000 | #Constraints: 68182
101.39/101.71 c bounds 354 >= 4 @ 63.4381
101.39/101.71 c #Conflicts: 500000 | #Constraints: 69182
101.39/101.71 c #Conflicts: 501000 | #Constraints: 70182
101.39/101.71 c #Conflicts: 502000 | #Constraints: 71182
101.39/101.71 c INPROCESSING
101.39/101.71 c GARBAGE COLLECT
101.39/101.71 c #Conflicts: 503000 | #Constraints: 58154
101.39/101.71 c #Conflicts: 504000 | #Constraints: 59154
101.39/101.71 c #Conflicts: 505000 | #Constraints: 60154
101.39/101.71 c #Conflicts: 506000 | #Constraints: 61154
101.39/101.71 c #Conflicts: 507000 | #Constraints: 62154
101.39/101.71 c #Conflicts: 508000 | #Constraints: 63154
101.39/101.71 c #Conflicts: 509000 | #Constraints: 64154
101.39/101.71 c #Conflicts: 510000 | #Constraints: 65154
101.39/101.71 c #Conflicts: 511000 | #Constraints: 66154
101.39/101.71 c #Conflicts: 512000 | #Constraints: 67154
101.39/101.71 c #Conflicts: 513000 | #Constraints: 68154
101.39/101.71 c #Conflicts: 514000 | #Constraints: 69154
101.39/101.71 c #Conflicts: 515000 | #Constraints: 70154
101.39/101.71 c #Conflicts: 516000 | #Constraints: 71154
101.39/101.71 c INPROCESSING
101.39/101.71 c GARBAGE COLLECT
101.39/101.71 c #Conflicts: 517000 | #Constraints: 57947
101.39/101.71 c #Conflicts: 518000 | #Constraints: 58947
101.39/101.71 c #Conflicts: 519000 | #Constraints: 59947
101.39/101.71 c #Conflicts: 520000 | #Constraints: 60947
101.39/101.71 c #Conflicts: 521000 | #Constraints: 61947
101.39/101.71 c #Conflicts: 522000 | #Constraints: 62947
101.39/101.71 c #Conflicts: 523000 | #Constraints: 63947
101.39/101.71 c #Conflicts: 524000 | #Constraints: 64947
101.39/101.71 c #Conflicts: 525000 | #Constraints: 65947
101.39/101.71 c #Conflicts: 526000 | #Constraints: 66947
101.39/101.71 c #Conflicts: 527000 | #Constraints: 67947
101.39/101.71 c #Conflicts: 528000 | #Constraints: 68947
101.39/101.71 c #Conflicts: 529000 | #Constraints: 69947
101.39/101.71 c #Conflicts: 530000 | #Constraints: 70947
101.39/101.71 c #Conflicts: 531000 | #Constraints: 71947
101.39/101.71 c INPROCESSING
101.39/101.71 c GARBAGE COLLECT
101.39/101.71 c #Conflicts: 532000 | #Constraints: 58521
101.39/101.71 c #Conflicts: 533000 | #Constraints: 59521
101.39/101.71 c #Conflicts: 534000 | #Constraints: 60521
101.39/101.71 c #Conflicts: 535000 | #Constraints: 61521
101.39/101.71 c #Conflicts: 536000 | #Constraints: 62521
101.39/101.71 c #Conflicts: 537000 | #Constraints: 63521
101.39/101.71 c #Conflicts: 538000 | #Constraints: 64521
101.39/101.71 c #Conflicts: 539000 | #Constraints: 65521
101.39/101.71 c #Conflicts: 540000 | #Constraints: 66521
101.39/101.71 c #Conflicts: 541000 | #Constraints: 67521
101.39/101.71 c #Conflicts: 542000 | #Constraints: 68521
101.39/101.71 c #Conflicts: 543000 | #Constraints: 69521
101.39/101.71 c #Conflicts: 544000 | #Constraints: 70521
101.39/101.71 c #Conflicts: 545000 | #Constraints: 71521
101.39/101.71 c #Conflicts: 546000 | #Constraints: 72521
101.39/101.71 c INPROCESSING
101.39/101.71 c GARBAGE COLLECT
101.39/101.71 c #Conflicts: 547000 | #Constraints: 58944
101.39/101.71 c #Conflicts: 548000 | #Constraints: 59944
101.39/101.71 c #Conflicts: 549000 | #Constraints: 60944
101.39/101.71 c #Conflicts: 550000 | #Constraints: 61944
101.39/101.71 c #Conflicts: 551000 | #Constraints: 62944
101.39/101.71 c #Conflicts: 552000 | #Constraints: 63944
101.39/101.71 c #Conflicts: 553000 | #Constraints: 64944
101.39/101.71 c #Conflicts: 554000 | #Constraints: 65944
101.39/101.71 c #Conflicts: 555000 | #Constraints: 66944
101.39/101.71 c #Conflicts: 556000 | #Constraints: 67944
101.39/101.71 c #Conflicts: 557000 | #Constraints: 68944
101.39/101.71 c #Conflicts: 558000 | #Constraints: 69944
101.39/101.71 c #Conflicts: 559000 | #Constraints: 70944
101.39/101.71 c #Conflicts: 560000 | #Constraints: 71944
101.39/101.71 c #Conflicts: 561000 | #Constraints: 72944
101.39/101.71 c INPROCESSING
101.39/101.71 c GARBAGE COLLECT
101.39/101.71 c #Conflicts: 562000 | #Constraints: 59180
101.39/101.71 c #Conflicts: 563000 | #Constraints: 60180
101.39/101.71 c #Conflicts: 564000 | #Constraints: 61180
101.39/101.71 c #Conflicts: 565000 | #Constraints: 62180
101.39/101.71 c #Conflicts: 566000 | #Constraints: 63180
101.39/101.71 c #Conflicts: 567000 | #Constraints: 64180
101.39/101.71 c #Conflicts: 568000 | #Constraints: 65180
101.39/101.71 c #Conflicts: 569000 | #Constraints: 66180
101.39/101.71 c #Conflicts: 570000 | #Constraints: 67180
101.39/101.71 c #Conflicts: 571000 | #Constraints: 68180
101.39/101.71 c #Conflicts: 572000 | #Constraints: 69180
101.39/101.71 c #Conflicts: 573000 | #Constraints: 70180
101.39/101.71 c #Conflicts: 574000 | #Constraints: 71180
967.64/970.34 c #Conflicts: 575000 | #Constraints: 72180
967.64/970.34 c #Conflicts: 576000 | #Constraints: 73180
967.64/970.34 c INPROCESSING
967.64/970.34 c GARBAGE COLLECT
967.64/970.34 c #Conflicts: 577000 | #Constraints: 59184
967.64/970.34 c #Conflicts: 578000 | #Constraints: 60184
967.64/970.34 c #Conflicts: 579000 | #Constraints: 61184
967.64/970.34 c #Conflicts: 580000 | #Constraints: 62184
967.64/970.34 c #Conflicts: 581000 | #Constraints: 63184
967.64/970.34 c #Conflicts: 582000 | #Constraints: 64184
967.64/970.34 c #Conflicts: 583000 | #Constraints: 65184
967.64/970.34 c #Conflicts: 584000 | #Constraints: 66184
967.64/970.34 c #Conflicts: 585000 | #Constraints: 67184
967.64/970.34 c #Conflicts: 586000 | #Constraints: 68184
967.64/970.34 c #Conflicts: 587000 | #Constraints: 69184
967.64/970.34 c #Conflicts: 588000 | #Constraints: 70184
967.64/970.34 c #Conflicts: 589000 | #Constraints: 71184
967.64/970.34 c #Conflicts: 590000 | #Constraints: 72184
967.64/970.34 c #Conflicts: 591000 | #Constraints: 73184
967.64/970.34 c INPROCESSING
967.64/970.34 c GARBAGE COLLECT
967.64/970.34 c #Conflicts: 592000 | #Constraints: 59002
967.64/970.34 c #Conflicts: 593000 | #Constraints: 60002
967.64/970.34 c #Conflicts: 594000 | #Constraints: 61002
967.64/970.34 c #Conflicts: 595000 | #Constraints: 62002
967.64/970.34 c #Conflicts: 596000 | #Constraints: 63002
967.64/970.34 c #Conflicts: 597000 | #Constraints: 64002
967.64/970.34 c #Conflicts: 598000 | #Constraints: 65002
967.64/970.34 c #Conflicts: 599000 | #Constraints: 66002
967.64/970.34 c #Conflicts: 600000 | #Constraints: 67002
967.64/970.34 c #Conflicts: 601000 | #Constraints: 68002
967.64/970.34 c #Conflicts: 602000 | #Constraints: 69002
967.64/970.34 c #Conflicts: 603000 | #Constraints: 70002
967.64/970.34 c #Conflicts: 604000 | #Constraints: 71002
967.64/970.34 c #Conflicts: 605000 | #Constraints: 72002
967.64/970.34 c #Conflicts: 606000 | #Constraints: 73002
967.64/970.34 c #Conflicts: 607000 | #Constraints: 74002
967.64/970.34 c #Conflicts: 608000 | #Constraints: 75002
967.64/970.34 c #Conflicts: 609000 | #Constraints: 76002
967.64/970.34 c #Conflicts: 610000 | #Constraints: 77002
967.64/970.34 c #Conflicts: 611000 | #Constraints: 78002
967.64/970.34 c #Conflicts: 612000 | #Constraints: 79002
967.64/970.34 c #Conflicts: 613000 | #Constraints: 80002
967.64/970.34 c #Conflicts: 614000 | #Constraints: 81002
967.64/970.34 c #Conflicts: 615000 | #Constraints: 82002
967.64/970.34 c #Conflicts: 616000 | #Constraints: 83002
967.64/970.34 c #Conflicts: 617000 | #Constraints: 84002
967.64/970.34 c #Conflicts: 618000 | #Constraints: 85002
967.64/970.34 c #Conflicts: 619000 | #Constraints: 86002
967.64/970.34 c #Conflicts: 620000 | #Constraints: 87002
967.64/970.34 c #Conflicts: 621000 | #Constraints: 88002
967.64/970.34 c #Conflicts: 622000 | #Constraints: 89002
967.64/970.34 c #Conflicts: 623000 | #Constraints: 90002
967.64/970.34 c #Conflicts: 624000 | #Constraints: 91002
967.64/970.34 c #Conflicts: 625000 | #Constraints: 92002
967.64/970.34 c #Conflicts: 626000 | #Constraints: 93002
967.64/970.34 c #Conflicts: 627000 | #Constraints: 94002
967.64/970.34 c #Conflicts: 628000 | #Constraints: 95002
967.64/970.34 c #Conflicts: 629000 | #Constraints: 96002
967.64/970.34 c #Conflicts: 630000 | #Constraints: 97002
967.64/970.34 c #Conflicts: 631000 | #Constraints: 98002
967.64/970.34 c #Conflicts: 632000 | #Constraints: 99002
967.64/970.34 c #Conflicts: 633000 | #Constraints: 100002
967.64/970.34 c #Conflicts: 634000 | #Constraints: 101002
967.64/970.34 c #Conflicts: 635000 | #Constraints: 102002
967.64/970.34 c #Conflicts: 636000 | #Constraints: 103002
967.64/970.34 c #Conflicts: 637000 | #Constraints: 104002
967.64/970.34 c #Conflicts: 638000 | #Constraints: 105002
967.64/970.34 c #Conflicts: 639000 | #Constraints: 106002
967.64/970.34 c #Conflicts: 640000 | #Constraints: 107002
967.64/970.34 c #Conflicts: 641000 | #Constraints: 108002
967.64/970.34 c #Conflicts: 642000 | #Constraints: 109002
967.64/970.34 c #Conflicts: 643000 | #Constraints: 110002
967.64/970.34 c #Conflicts: 644000 | #Constraints: 111002
967.64/970.34 c #Conflicts: 645000 | #Constraints: 112002
967.64/970.34 c #Conflicts: 646000 | #Constraints: 113002
967.64/970.34 c #Conflicts: 647000 | #Constraints: 114002
967.64/970.34 c #Conflicts: 648000 | #Constraints: 115002
967.64/970.34 c #Conflicts: 649000 | #Constraints: 116002
967.64/970.34 c #Conflicts: 650000 | #Constraints: 117002
967.64/970.34 c #Conflicts: 651000 | #Constraints: 118002
2733.01/2740.31 c #Conflicts: 652000 | #Constraints: 119002
2733.01/2740.31 c #Conflicts: 653000 | #Constraints: 120002
2733.01/2740.31 c #Conflicts: 654000 | #Constraints: 121002
2733.01/2740.31 c #Conflicts: 655000 | #Constraints: 122002
2733.01/2740.31 c #Conflicts: 656000 | #Constraints: 123002
2733.01/2740.31 c #Conflicts: 657000 | #Constraints: 124002
2733.01/2740.31 c #Conflicts: 658000 | #Constraints: 125002
2733.01/2740.31 c #Conflicts: 659000 | #Constraints: 126002
2733.01/2740.31 c #Conflicts: 660000 | #Constraints: 127002
2733.01/2740.31 c #Conflicts: 661000 | #Constraints: 128002
2733.01/2740.31 c #Conflicts: 662000 | #Constraints: 129002
2733.01/2740.31 c #Conflicts: 663000 | #Constraints: 130002
2733.01/2740.31 c #Conflicts: 664000 | #Constraints: 131002
2733.01/2740.31 c #Conflicts: 665000 | #Constraints: 132002
2733.01/2740.31 c #Conflicts: 666000 | #Constraints: 133002
2733.01/2740.31 c #Conflicts: 667000 | #Constraints: 134002
2733.01/2740.31 c #Conflicts: 668000 | #Constraints: 135002
2733.01/2740.31 c #Conflicts: 669000 | #Constraints: 136002
2733.01/2740.31 c INPROCESSING
2733.01/2740.31 c GARBAGE COLLECT
2733.01/2740.31 c #Conflicts: 670000 | #Constraints: 90594
2733.01/2740.31 c #Conflicts: 671000 | #Constraints: 91594
2733.01/2740.31 c #Conflicts: 672000 | #Constraints: 92594
2733.01/2740.31 c #Conflicts: 673000 | #Constraints: 93594
2733.01/2740.31 c #Conflicts: 674000 | #Constraints: 94594
2733.01/2740.31 c #Conflicts: 675000 | #Constraints: 95594
2733.01/2740.31 c #Conflicts: 676000 | #Constraints: 96594
2733.01/2740.31 c #Conflicts: 677000 | #Constraints: 97594
2733.01/2740.31 c #Conflicts: 678000 | #Constraints: 98594
2733.01/2740.31 c #Conflicts: 679000 | #Constraints: 99594
2733.01/2740.31 c #Conflicts: 680000 | #Constraints: 100594
2733.01/2740.31 c #Conflicts: 681000 | #Constraints: 101594
2733.01/2740.31 c #Conflicts: 682000 | #Constraints: 102594
2733.01/2740.31 c #Conflicts: 683000 | #Constraints: 103594
2733.01/2740.31 c #Conflicts: 684000 | #Constraints: 104594
2733.01/2740.31 c #Conflicts: 685000 | #Constraints: 105594
2733.01/2740.31 c #Conflicts: 686000 | #Constraints: 106594
2733.01/2740.31 c INPROCESSING
2733.01/2740.31 c GARBAGE COLLECT
2733.01/2740.31 c #Conflicts: 687000 | #Constraints: 76032
2733.01/2740.31 c #Conflicts: 688000 | #Constraints: 77032
2733.01/2740.31 c #Conflicts: 689000 | #Constraints: 78032
2733.01/2740.31 c #Conflicts: 690000 | #Constraints: 79032
2733.01/2740.31 c #Conflicts: 691000 | #Constraints: 80032
2733.01/2740.31 c #Conflicts: 692000 | #Constraints: 81032
2733.01/2740.31 c #Conflicts: 693000 | #Constraints: 82032
2733.01/2740.31 c #Conflicts: 694000 | #Constraints: 83032
2733.01/2740.31 c #Conflicts: 695000 | #Constraints: 84032
2733.01/2740.31 c #Conflicts: 696000 | #Constraints: 85032
2733.01/2740.31 c #Conflicts: 697000 | #Constraints: 86032
2733.01/2740.31 c #Conflicts: 698000 | #Constraints: 87032
2733.01/2740.31 c #Conflicts: 699000 | #Constraints: 88032
2733.01/2740.31 c #Conflicts: 700000 | #Constraints: 89032
2733.01/2740.31 c #Conflicts: 701000 | #Constraints: 90032
2733.01/2740.31 c #Conflicts: 702000 | #Constraints: 91032
2733.01/2740.31 c INPROCESSING
2733.01/2740.31 c GARBAGE COLLECT
2733.01/2740.31 c #Conflicts: 703000 | #Constraints: 67801
2733.01/2740.31 c #Conflicts: 704000 | #Constraints: 68801
2733.01/2740.31 c #Conflicts: 705000 | #Constraints: 69801
2733.01/2740.31 c #Conflicts: 706000 | #Constraints: 70801
2733.01/2740.31 c #Conflicts: 707000 | #Constraints: 71801
2733.01/2740.31 c #Conflicts: 708000 | #Constraints: 72801
2733.01/2740.31 c #Conflicts: 709000 | #Constraints: 73801
2733.01/2740.31 c #Conflicts: 710000 | #Constraints: 74801
2733.01/2740.31 c #Conflicts: 711000 | #Constraints: 75801
2733.01/2740.31 c #Conflicts: 712000 | #Constraints: 76801
2733.01/2740.31 c #Conflicts: 713000 | #Constraints: 77801
2733.01/2740.31 c #Conflicts: 714000 | #Constraints: 78801
2733.01/2740.31 c #Conflicts: 715000 | #Constraints: 79801
2733.01/2740.31 c #Conflicts: 716000 | #Constraints: 80801
2733.01/2740.31 c #Conflicts: 717000 | #Constraints: 81801
2733.01/2740.31 c #Conflicts: 718000 | #Constraints: 82801
2733.01/2740.31 c #Conflicts: 719000 | #Constraints: 83801
2733.01/2740.31 c #Conflicts: 720000 | #Constraints: 84801
2733.01/2740.31 c #Conflicts: 721000 | #Constraints: 85801
2733.01/2740.31 c #Conflicts: 722000 | #Constraints: 86801
2733.01/2740.31 c #Conflicts: 723000 | #Constraints: 87801
2733.01/2740.31 c bounds 354 >= 8 @ 2688.81
2733.01/2740.31 c #Conflicts: 724000 | #Constraints: 88805
2733.01/2740.31 c #Conflicts: 725000 | #Constraints: 89805
2733.01/2740.31 c #Conflicts: 726000 | #Constraints: 90805
2733.01/2740.31 c #Conflicts: 727000 | #Constraints: 91805
3600.11/3610.03 c #Conflicts: 728000 | #Constraints: 92805
3600.11/3610.03 c #Conflicts: 729000 | #Constraints: 93805
3600.11/3610.03 c #Conflicts: 730000 | #Constraints: 94805
3600.11/3610.03 c #Conflicts: 731000 | #Constraints: 95805
3600.11/3610.03 c #Conflicts: 732000 | #Constraints: 96805
3600.11/3610.03 c #Conflicts: 733000 | #Constraints: 97805
3600.11/3610.03 c #Conflicts: 734000 | #Constraints: 98805
3600.11/3610.03 c #Conflicts: 735000 | #Constraints: 99805
3600.11/3610.03 c #Conflicts: 736000 | #Constraints: 100805
3600.11/3610.03 c #Conflicts: 737000 | #Constraints: 101805
3600.11/3610.03 c #Conflicts: 738000 | #Constraints: 102805
3600.11/3610.03 c #Conflicts: 739000 | #Constraints: 103805
3600.11/3610.03 c #Conflicts: 740000 | #Constraints: 104805
3600.11/3610.03 c #Conflicts: 741000 | #Constraints: 105805
3600.11/3610.03 c #Conflicts: 742000 | #Constraints: 106805
3600.11/3610.03 c #Conflicts: 743000 | #Constraints: 107805
3600.11/3610.03 c #Conflicts: 744000 | #Constraints: 108805
3600.11/3610.03 c #Conflicts: 745000 | #Constraints: 109805
3600.11/3610.03 c #Conflicts: 746000 | #Constraints: 110805
3600.11/3610.03 c #Conflicts: 747000 | #Constraints: 111805
3600.11/3610.03 c #Conflicts: 748000 | #Constraints: 112805
3600.11/3610.03 c #Conflicts: 749000 | #Constraints: 113805
3600.11/3610.03 c #Conflicts: 750000 | #Constraints: 114805
3600.11/3610.03 c #Conflicts: 751000 | #Constraints: 115805
3600.11/3610.03 c #Conflicts: 752000 | #Constraints: 116805
3600.11/3610.03 c #Conflicts: 753000 | #Constraints: 117805
3600.11/3610.03 c #Conflicts: 754000 | #Constraints: 118805
3600.11/3610.03 c #Conflicts: 755000 | #Constraints: 119805
3600.11/3610.03 c #Conflicts: 756000 | #Constraints: 120805
3600.11/3610.03 c #Conflicts: 757000 | #Constraints: 121805
3600.11/3610.03 c #Conflicts: 758000 | #Constraints: 122805
3600.11/3610.03 c #Conflicts: 759000 | #Constraints: 123805
3600.11/3610.03 c #Conflicts: 760000 | #Constraints: 124805
3600.11/3610.03 c #Conflicts: 761000 | #Constraints: 125805
3600.11/3610.03 c #Conflicts: 762000 | #Constraints: 126805
3600.11/3610.03 c #Conflicts: 763000 | #Constraints: 127805
3600.11/3610.03 c #Conflicts: 764000 | #Constraints: 128805
3600.11/3610.03 c #Conflicts: 765000 | #Constraints: 129805
3600.11/3610.03 c #Conflicts: 766000 | #Constraints: 130805
3600.11/3610.03 c #Conflicts: 767000 | #Constraints: 131805
3600.11/3610.03 c #Conflicts: 768000 | #Constraints: 132805
3600.11/3610.03 c #Conflicts: 769000 | #Constraints: 133805
3600.11/3610.03 c #Conflicts: 770000 | #Constraints: 134805
3600.11/3610.03 c #Conflicts: 771000 | #Constraints: 135805
3600.11/3610.03 c #Conflicts: 772000 | #Constraints: 136805
3600.11/3610.03 c #Conflicts: 773000 | #Constraints: 137805
3600.11/3610.03 c #Conflicts: 774000 | #Constraints: 138805
3600.11/3610.03 c #Conflicts: 775000 | #Constraints: 139805
3600.11/3610.03 c #Conflicts: 776000 | #Constraints: 140805
3600.11/3610.03 c #Conflicts: 777000 | #Constraints: 141805
3600.11/3610.03 c #Conflicts: 778000 | #Constraints: 142805
3600.11/3610.03 c #Conflicts: 779000 | #Constraints: 143805
3600.11/3610.03 c #Conflicts: 780000 | #Constraints: 144805
3600.11/3610.03 c #Conflicts: 781000 | #Constraints: 145805
3600.11/3610.03 c #Conflicts: 782000 | #Constraints: 146805
3600.11/3610.03 c #Conflicts: 783000 | #Constraints: 147805
3600.11/3610.03 c #Conflicts: 784000 | #Constraints: 148805
3600.11/3610.03 c INPROCESSING
3600.11/3610.03 c GARBAGE COLLECT
3600.11/3610.03 c #Conflicts: 785000 | #Constraints: 96710
3600.11/3610.03 c #Conflicts: 786000 | #Constraints: 97710
3600.11/3610.03 c #Conflicts: 787000 | #Constraints: 98710
3600.11/3610.03 c #Conflicts: 788000 | #Constraints: 99710
3600.11/3610.03 c #Conflicts: 789000 | #Constraints: 100710
3600.11/3610.03 c #Conflicts: 790000 | #Constraints: 101710
3600.11/3610.03 c #Conflicts: 791000 | #Constraints: 102710
3600.11/3610.03 c #Conflicts: 792000 | #Constraints: 103710
3600.11/3610.03 c #Conflicts: 793000 | #Constraints: 104710
3600.11/3610.03 c #Conflicts: 794000 | #Constraints: 105710
3600.11/3610.03 c #Conflicts: 795000 | #Constraints: 106710
3600.11/3610.03 c #Conflicts: 796000 | #Constraints: 107710
3600.11/3610.03 c #Conflicts: 797000 | #Constraints: 108710
3600.11/3610.03 c #Conflicts: 798000 | #Constraints: 109710
3600.11/3610.03 c #Conflicts: 799000 | #Constraints: 110710
3600.11/3610.03 c #Conflicts: 800000 | #Constraints: 111710
3600.11/3610.03 c Program interrupted by user.
3600.11/3610.03 c cpu time 3592.44 s
3600.11/3610.03 c deterministic time 238236417652 2.38e+11
3600.11/3610.03 c optimization time 217.727 s
3600.11/3610.03 c total solve time 3374.28 s
3600.11/3610.03 c core-guided solve time 3374.28 s
3600.11/3610.03 c propagation time 3093.37 s
3600.11/3610.03 c conflict analysis time 475.939 s
3600.11/3610.03 c propagations 158566736
3600.11/3610.03 c resolve steps 14229392
3600.11/3610.03 c decisions 5619920
3600.11/3610.03 c conflicts 800321
3600.11/3610.03 c restarts 1711
3600.11/3610.03 c inprocessing phases 72
3600.11/3610.03 c input clauses 20671
3600.11/3610.03 c input cardinalities 802
3600.11/3610.03 c input general constraints 21605
3600.11/3610.03 c input average constraint length 7.33
3600.11/3610.03 c input average constraint degree 5.31
3600.11/3610.03 c learned clauses 689402
3600.11/3610.03 c learned cardinalities 15896
3600.11/3610.03 c learned general constraints 95023
3600.11/3610.03 c learned average constraint length 170.12
3600.11/3610.03 c learned average constraint degree 728461.80
3600.11/3610.03 c watched constraints 80826
3600.11/3610.03 c counting constraints 35802
3600.11/3610.03 c gcd simplifications 1442
3600.11/3610.03 c detected cardinalities 23
3600.11/3610.03 c weakened non-implied lits 18786852
3600.11/3610.03 c weakened non-implying lits 5760
3600.11/3610.03 c original variables 2700
3600.11/3610.03 c clausal propagations 72973742
3600.11/3610.03 c cardinality propagations 68594637
3600.11/3610.03 c watched propagations 6767576
3600.11/3610.03 c counting propagations 9402546
3600.11/3610.03 c watch lookups 76818012440
3600.11/3610.03 c watch backjump lookups 74021428436
3600.11/3610.03 c watch checks 71129950788
3600.11/3610.03 c propagation checks 15447088932
3600.11/3610.03 c constraint additions 490763559
3600.11/3610.03 c trail pops 164986840
3600.11/3610.03 c formula constraints 43070
3600.11/3610.03 c learned constraints 800321
3600.11/3610.03 c bound constraints 3
3600.11/3610.03 c core-guided constraints 5
3600.11/3610.03 c encountered formula constraints 7004397
3600.11/3610.03 c encountered learned constraints 8005267
3600.11/3610.03 c encountered bound constraints 0
3600.11/3610.03 c encountered core-guided constraints 20049
3600.11/3610.03 c LP total time 0 s
3600.11/3610.03 c LP solve time 0 s
3600.11/3610.03 c LP constraints added 0
3600.11/3610.03 c LP constraints removed 0
3600.11/3610.03 c LP pivots internal 0
3600.11/3610.03 c LP pivots root 0
3600.11/3610.03 c LP calls 0
3600.11/3610.03 c LP optimalities 0
3600.11/3610.03 c LP no pivot count 0
3600.11/3610.03 c LP infeasibilities 0
3600.11/3610.03 c LP valid Farkas constraints 0
3600.11/3610.03 c LP learned Farkas constraints 0
3600.11/3610.03 c LP basis resets 0
3600.11/3610.03 c LP cycling count 0
3600.11/3610.03 c LP singular count 0
3600.11/3610.03 c LP no primal count 0
3600.11/3610.03 c LP no farkas count 0
3600.11/3610.03 c LP other issue count 0
3600.11/3610.03 c LP Gomory cuts 0
3600.11/3610.03 c LP learned cuts 0
3600.11/3610.03 c LP deleted cuts 0
3600.11/3610.03 c LP encountered Gomory constraints 0
3600.11/3610.03 c LP encountered Farkas constraints 0
3600.11/3610.03 c LP encountered learned Farkas constraints 0
3600.11/3610.03 c CG auxiliary variables introduced 2
3600.11/3610.03 c CG solutions found 1
3600.11/3610.03 c CG cores constructed 2
3600.11/3610.03 c CG core cardinality constraints returned 0
3600.11/3610.03 c CG unit cores 0
3600.11/3610.03 c CG single cores 2
3600.11/3610.03 c CG blocks removed during cardinality reduction 0
3600.11/3610.03 c CG first core best 0
3600.11/3610.03 c CG decision core best 0
3600.11/3610.03 c CG core reduction tie 0
3600.11/3610.03 c CG core degree average 1.00
3600.11/3610.03 c CG core slack average 114.50
3600.11/3610.03 c CG exhausted 0
3600.11/3610.03 c CG exhaust time 0.093987 s
3600.11/3610.03 c CG trimmed 0
3600.11/3610.03 c CG trim time 0.000423 s
3600.11/3610.03 c CG minimized 0
3600.11/3610.03 c CG minimize time 0 s
3600.11/3610.03 c CG am1 prop time 0.001388 s
3600.11/3610.03 c CG # am1s reformulated 0
3600.11/3610.03 c CG lower bound derived from am1s 0
3600.11/3610.03 c CG # clausal cores 2
3600.11/3610.03 c CG # cardinality cores 0
3600.11/3610.03 c CG # pb cores 0
3600.11/3610.03 c CG # pb reforms 0
3600.11/3610.03 c CG # cores discarded because of pb reform 0
3600.11/3610.03 d LOWERBOUND 8
3600.11/3610.03 d NCORES 2
3600.11/3610.03 d NPBCORES 0
3600.11/3610.03 d NPBREFORM 0
3600.11/3610.03 d NTRIMMED 0
3600.11/3610.03 d NEXHAUSTED 0
3600.11/3610.03 d NAM1S 0
3600.11/3610.03 d AM1LB 0
3600.11/3610.03 o 354
3600.11/3610.03 s SATISFIABLE
3600.11/3610.03 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 x1902 -x1903 x1904 -x1905 x1906 x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 x2000 -x2001 x2002 x2003 x2004 x2005 -x2006 x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 x2098 x2099 x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 x2297 -x2298 x2299 -x2300 -x2301 x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 x2395 x2396 -x2397 -x2398 x2399 x2400 x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 x2494 x2495 -x2496 x2497 x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 x2693 x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700
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: 63837 MiB (62832 MiB free)
memory of node 1: 64465 MiB (63864 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486374-1751319852/watcher-4486374-1751319852 -o /tmp/evaluation-result-4486374-1751319852/solver-4486374-1751319852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40719 --watchdog 3760 pb-oll-rs HOME/instance-4486374-1751319852.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=41519, runsolver pid=41516
[startup+0.100074 s]*
/proc/loadavg: 4.11 4.15 4.18 5/252 41520
/proc/meminfo: memFree=129738312/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=20968 memory=6272 CPUtime=0.09 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 670 0 0 0 7 2 0 0 20 0 1 0 47664315 21471232 1568 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 5242 1568 1120 243 0 1491 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20968 KiB
Current children cumulated memory: 6272 KiB
[startup+0.21462 s]*
/proc/loadavg: 4.11 4.15 4.18 5/252 41520
/proc/meminfo: memFree=129738312/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=21496 memory=7296 CPUtime=0.19 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 1012 0 0 0 15 4 0 0 20 0 1 0 47664315 22011904 1824 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 5374 1824 1120 243 0 1623 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 21496 KiB
Current children cumulated memory: 7296 KiB
[startup+0.313586 s]*
/proc/loadavg: 4.11 4.15 4.18 5/252 41520
/proc/meminfo: memFree=129738312/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=21756 memory=9668 CPUtime=0.28 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 1103 0 0 0 23 5 0 0 20 0 1 0 47664315 22278144 2417 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 5439 2417 1120 243 0 1688 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 21756 KiB
Current children cumulated memory: 9668 KiB
[startup+0.700338 s]
/proc/loadavg: 4.11 4.15 4.18 5/252 41520
/proc/meminfo: memFree=129738312/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=23264 memory=12868 CPUtime=0.65 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 1817 0 0 0 55 10 0 0 20 0 1 0 47664315 23822336 3217 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 5816 3217 1312 243 0 2065 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 23264 KiB
Current children cumulated memory: 12868 KiB
[startup+1.50034 s]
/proc/loadavg: 4.11 4.15 4.18 5/252 41520
/proc/meminfo: memFree=129739356/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=29044 memory=18536 CPUtime=1.45 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 2967 0 0 0 128 17 0 0 20 0 1 0 47664315 29741056 4634 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 7261 4634 1312 243 0 3510 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 29044 KiB
Current children cumulated memory: 18536 KiB
[startup+3.11228 s]
/proc/loadavg: 4.10 4.15 4.18 4/249 41534
/proc/meminfo: memFree=130179384/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=30132 memory=19784 CPUtime=3.06 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 4185 0 0 0 281 25 0 0 20 0 1 0 47664315 30855168 4946 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 7533 4946 1312 243 0 3782 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 30132 KiB
Current children cumulated memory: 19784 KiB
[startup+6.30025 s]
/proc/loadavg: 4.10 4.15 4.18 5/252 41565
/proc/meminfo: memFree=130169904/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=32164 memory=21772 CPUtime=6.24 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 5577 0 0 0 583 41 0 0 20 0 1 0 47664315 32935936 5443 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 8041 5443 1312 243 0 4290 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 32164 KiB
Current children cumulated memory: 21772 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.14 4.18 5/252 41565
/proc/meminfo: memFree=130164864/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=37436 memory=25880 CPUtime=12.62 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 6715 0 0 0 1199 63 0 0 20 0 1 0 47664315 38334464 6470 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 9359 6470 1312 243 0 5608 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 37436 KiB
Current children cumulated memory: 25880 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.14 4.18 5/252 41565
/proc/meminfo: memFree=130133148/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=45708 memory=31300 CPUtime=25.39 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 8138 0 0 0 2431 108 0 0 20 0 1 0 47664315 46804992 7825 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 11427 7825 1312 243 0 7676 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 31300 KiB
[startup+51.113 s]
/proc/loadavg: 4.11 4.14 4.18 5/252 41566
/proc/meminfo: memFree=130107156/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=46656 memory=36484 CPUtime=50.94 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 9507 0 0 0 4927 167 0 0 20 0 1 0 47664315 47775744 9121 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 11664 9121 1312 243 0 7913 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 46656 KiB
Current children cumulated memory: 36484 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.18 5/252 41568
/proc/meminfo: memFree=130072676/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=73912 memory=56176 CPUtime=101.99 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 13783 0 0 0 9959 240 0 0 20 0 1 0 47664315 75685888 14044 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 18478 14044 1312 243 0 14727 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 73912 KiB
Current children cumulated memory: 56176 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.17 5/252 41570
/proc/meminfo: memFree=130030116/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=102576 memory=75876 CPUtime=161.84 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 16957 0 0 0 15905 279 0 0 20 0 1 0 47664315 105037824 18969 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 25644 18969 1312 243 0 21893 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 102576 KiB
Current children cumulated memory: 75876 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/252 41572
/proc/meminfo: memFree=129998588/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=110876 memory=84248 CPUtime=221.67 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 18568 0 0 0 21862 305 0 0 20 0 1 0 47664315 113537024 21062 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 27719 21062 1312 243 0 23968 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 110876 KiB
Current children cumulated memory: 84248 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/252 41574
/proc/meminfo: memFree=129949868/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=122108 memory=103036 CPUtime=281.52 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 20699 0 0 0 27826 326 0 0 20 0 1 0 47664315 125038592 25759 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 30527 25759 1312 243 0 26776 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 122108 KiB
Current children cumulated memory: 103036 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.16 5/250 41576
/proc/meminfo: memFree=129907268/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=160372 memory=119144 CPUtime=341.34 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 22744 0 0 0 33791 343 0 0 20 0 1 0 47664315 164220928 29786 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 40093 29786 1312 243 0 36342 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 160372 KiB
Current children cumulated memory: 119144 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/250 41578
/proc/meminfo: memFree=129890688/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=165116 memory=136732 CPUtime=401.18 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 23562 0 0 0 39763 355 0 0 20 0 1 0 47664315 169078784 34183 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 41279 34183 1312 243 0 37528 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 165116 KiB
Current children cumulated memory: 136732 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.15 5/250 41580
/proc/meminfo: memFree=129894480/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=168720 memory=147372 CPUtime=461.04 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 24255 0 0 0 45740 364 0 0 20 0 1 0 47664315 172769280 36843 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 42180 36843 1312 243 0 38429 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
Current children cumulated memory: 283944 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/249 41719
/proc/meminfo: memFree=129478704/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=363112 memory=283944 CPUtime=2854.64 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 36645 0 0 0 284804 660 0 0 20 0 1 0 47664315 371826688 70986 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 90778 70986 1312 243 0 87027 0
Current children cumulated CPU time: 2854.64 s
Current children cumulated vsize: 363112 KiB
Current children cumulated memory: 283944 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.11 4.10 5/249 41721
/proc/meminfo: memFree=129478220/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=363880 memory=284328 CPUtime=2914.46 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 36747 0 0 0 290776 670 0 0 20 0 1 0 47664315 372613120 71082 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 90970 71082 1312 243 0 87219 0
Current children cumulated CPU time: 2914.46 s
Current children cumulated vsize: 363880 KiB
Current children cumulated memory: 284328 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 41725
/proc/meminfo: memFree=129474484/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=365672 memory=285352 CPUtime=2974.28 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 36989 0 0 0 296750 678 0 0 20 0 1 0 47664315 374448128 71338 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 91418 71338 1312 243 0 87667 0
Current children cumulated CPU time: 2974.28 s
Current children cumulated vsize: 365672 KiB
Current children cumulated memory: 285352 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 41731
/proc/meminfo: memFree=129472132/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=368488 memory=286888 CPUtime=3034.09 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 37368 0 0 0 302721 688 0 0 20 0 1 0 47664315 377331712 71722 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 92122 71722 1312 243 0 88371 0
Current children cumulated CPU time: 3034.09 s
Current children cumulated vsize: 368488 KiB
Current children cumulated memory: 286888 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 41733
/proc/meminfo: memFree=129472180/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=369000 memory=287144 CPUtime=3093.92 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 37452 0 0 0 308696 696 0 0 20 0 1 0 47664315 377856000 71786 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 92250 71786 1312 243 0 88499 0
Current children cumulated CPU time: 3093.92 s
Current children cumulated vsize: 369000 KiB
Current children cumulated memory: 287144 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 41735
/proc/meminfo: memFree=129467084/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=369000 memory=287272 CPUtime=3153.73 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 37472 0 0 0 314669 704 0 0 20 0 1 0 47664315 377856000 71818 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 92250 71818 1312 243 0 88499 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 369000 KiB
Current children cumulated memory: 287272 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 41737
/proc/meminfo: memFree=129466100/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=369000 memory=287272 CPUtime=3213.55 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 37491 0 0 0 320642 713 0 0 20 0 1 0 47664315 377856000 71818 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 92250 71818 1312 243 0 88499 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 369000 KiB
Current children cumulated memory: 287272 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 41739
/proc/meminfo: memFree=129458508/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=369000 memory=289320 CPUtime=3273.37 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 37503 0 0 0 326615 722 0 0 20 0 1 0 47664315 377856000 72330 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 92250 72330 1312 243 0 88499 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 369000 KiB
Current children cumulated memory: 289320 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 41741
/proc/meminfo: memFree=129453648/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=369000 memory=289320 CPUtime=3333.19 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 37508 0 0 0 332590 729 0 0 20 0 1 0 47664315 377856000 72330 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 92250 72330 1312 243 0 88499 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 369000 KiB
Current children cumulated memory: 289320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 41743
/proc/meminfo: memFree=129448788/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=369000 memory=289488 CPUtime=3393.01 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 38251 0 0 0 338564 737 0 0 20 0 1 0 47664315 377856000 72372 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 92250 72372 1312 243 0 88499 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 369000 KiB
Current children cumulated memory: 289488 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 41745
/proc/meminfo: memFree=129379572/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=369000 memory=289488 CPUtime=3452.82 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 38251 0 0 0 344536 746 0 0 20 0 1 0 47664315 377856000 72372 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 92250 72372 1312 243 0 88499 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 369000 KiB
Current children cumulated memory: 289488 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 41747
/proc/meminfo: memFree=129368032/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=369000 memory=289488 CPUtime=3512.65 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 38293 0 0 0 350510 755 0 0 20 0 1 0 47664315 377856000 72372 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 92250 72372 1312 243 0 88499 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 369000 KiB
Current children cumulated memory: 289488 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 41751
/proc/meminfo: memFree=129367068/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=369000 memory=289488 CPUtime=3572.48 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 38295 0 0 0 356483 765 0 0 20 0 1 0 47664315 377856000 72372 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 92250 72372 1312 243 0 88499 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 369000 KiB
Current children cumulated memory: 289488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.07 4.08 4.09 4/245 41788
/proc/meminfo: memFree=129833292/131382120 swapFree=33010160/33010684
[pid=41519] ppid=41516 vsize=369000 memory=289488 CPUtime=3600.11 cores=4,6
/proc/41519/stat : 41519 (pb-oll-rs) R 41516 41519 40708 0 -1 4194304 38296 0 0 0 359242 769 0 0 20 0 1 0 47664315 377856000 72372 18446744073709551615 4218880 5211445 140726765266848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9375744 140726765271452 140726765271529 140726765271529 140726765277131 0
/proc/41519/statm: 92250 72372 1312 243 0 88499 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 369000 KiB
Current children cumulated memory: 289488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.03 s]
# the end of solver process 41519 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.44 s, system=7.69847 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.03
CPU time (s): 3600.14
CPU user time (s): 3592.44
CPU system time (s): 7.69847
CPU usage (%): 99.7259
Max. virtual memory (cumulated for all children) (KiB): 372224
Max. memory (cumulated for all children) (KiB): 292264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.44
system time used= 7.69847
maximum resident set size= 292264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 179
involuntary context switches= 2554
# summary of solver processes directly reported to runsolver:
# pid: 41519
# total CPU time (s): 3600.14
# total CPU user time (s): 3592.44
# total CPU system time (s): 7.69847
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.852 second user time and 34.4562 second system time
The end
Begin job on nodeC008 at 2025-06-30 23:44:12
IDJOB=4486374
IDBENCH=147019
IDSOLVER=3345
FILE ID=nodeC008/4486374-1751319852
RUNJOBID= nodeC008-1751316235-40719
SLURM_JOB_ID= 9594335
Free space on /tmp= 433052 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486374-1751319852/watcher-4486374-1751319852 -o /tmp/evaluation-result-4486374-1751319852/solver-4486374-1751319852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40719 --watchdog 3760 pb-oll-rs HOME/instance-4486374-1751319852.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7
RANDOM SEED=158501682
nodeC008 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 : 0xb00001f
cpu MHz : 3491.886
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 2993.003
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.551
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.581
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.531
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3491.861
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.301
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.905
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129738248 kB
MemAvailable: 129460132 kB
Buffers: 2144 kB
Cached: 532084 kB
SwapCached: 16 kB
Active: 761596 kB
Inactive: 314768 kB
Active(anon): 523416 kB
Inactive(anon): 36640 kB
Active(file): 238180 kB
Inactive(file): 278128 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10128 kB
Writeback: 0 kB
AnonPages: 544440 kB
Mapped: 107152 kB
Shmem: 17920 kB
KReclaimable: 90404 kB
Slab: 171844 kB
SReclaimable: 90404 kB
SUnreclaim: 81440 kB
KernelStack: 4096 kB
PageTables: 4084 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 889320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 471040 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC008 at 2025-07-01 00:44:22