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