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