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