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