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