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