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