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