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