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