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