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