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