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