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