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