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