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