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