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