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