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