(1,14) (2,26) (3,25) (4,8) (5,7) (6,29) (9,19) (10,30) (11,16) (12,23) (13,20) (15,17) (18,28) (21,27) (22,24) 
nodes: 33551  conflicts: 35  modelTime: 950  solveTime: 97667  totalTime: 98629  modelSize: 72269  readTime: 11 size: 15