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