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