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