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