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