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