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