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