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