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