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