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