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