(1,20) (2,16) (3,22) (4,15) (5,30) (6,8) (7,19) (9,17) (10,29) (11,28) (12,18) (13,14) (21,23) (24,25) 
nodes: 16063  conflicts: 53  modelTime: 1711  solveTime: 59485  totalTime: 61215  modelSize: 72274  readTime: 19 size: 14