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