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