(1,23) (2,15) (3,28) (4,20) (5,29) (6,25) (7,22) (8,13) (9,12) (10,19) (11,24) (14,17) (16,21) (18,26) (27,30) 
nodes: 2512073  conflicts: 15  modelTime: 1411  solveTime: 14150098  totalTime: 14151518  modelSize: 72267  readTime: 9 size: 15