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