(1,26) (2,5) (3,24) (4,9) (6,12) (7,18) (8,29) (10,15) (11,14) (16,28) (17,21) (20,23) (22,25) (27,30) 
nodes: 78549  conflicts: 26  modelTime: 947  solveTime: 265774  totalTime: 266734  modelSize: 72266  readTime: 13 size: 14