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