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