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