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