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