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