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