(1,5) (2,18) (3,20) (4,6) (7,10) (8,16) (9,29) (11,21) (12,22) (13,17) (14,25) (15,26) (19,30) (24,27) 
nodes: 138408  conflicts: 33  modelTime: 1743  solveTime: 612413  totalTime: 614175  modelSize: 72275  readTime: 18 size: 14