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