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