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