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