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