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