(1,25) (2,5) (3,8) (4,6) (7,12) (9,10) (11,16) (13,14) (15,20) (17,26) (18,27) (19,21) (22,24) (23,30) (28,29) 
nodes: 15695  conflicts: 42  modelTime: 945  solveTime: 56425  totalTime: 57381  modelSize: 72263  readTime: 11 size: 15