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