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