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