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