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