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