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