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