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