(1,29) (4,12) (5,27) (6,20) (7,24) (8,18) (9,25) (10,14) (11,15) (13,21) (16,22) (17,28) (19,30) (23,26) 
nodes: 81887  conflicts: 38  modelTime: 963  solveTime: 314165  totalTime: 315139  modelSize: 72275  readTime: 11 size: 14