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