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