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