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