(1,2) (3,7) (5,29) (6,27) (8,15) (9,12) (10,16) (13,22) (14,24) (17,18) (19,23) (20,30) (25,28) 
nodes: 1128  conflicts: 61  modelTime: 1020  solveTime: 3244  totalTime: 4275  modelSize: 72262  readTime: 11 size: 13