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