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