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