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