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