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