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