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