(1,23) (2,6) (3,7) (4,24) (5,20) (8,30) (9,15) (10,26) (11,28) (12,27) (13,19) (14,25) (16,22) (17,21) (18,29) 
nodes: 132093  conflicts: 31  modelTime: 972  solveTime: 622168  totalTime: 623152  modelSize: 72267  readTime: 12 size: 15