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