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