(1,30) (2,11) (3,10) (4,15) (5,13) (6,23) (7,22) (8,21) (9,18) (12,27) (14,29) (16,28) (17,26) (24,25) 
nodes: 33927  conflicts: 54  modelTime: 1139  solveTime: 109402  totalTime: 110560  modelSize: 72263  readTime: 19 size: 14