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