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