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