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