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