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