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