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