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