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