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