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