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