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