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