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