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