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