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