(1,24) (2,27) (3,30) (4,5) (6,20) (7,8) (9,26) (10,12) (11,14) (13,28) (15,22) (16,17) (18,21) (19,25) (23,29) 
nodes: 1947636  conflicts: 19  modelTime: 1723  solveTime: 10768015  totalTime: 10769814  modelSize: 72264  readTime: 76 size: 15