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