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