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