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