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