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