(1,25) (2,23) (3,21) (4,19) (5,26) (6,20) (7,17) (8,27) (9,30) (10,16) (11,24) (12,28) (14,18) (15,22) 
nodes: 14798  conflicts: 19  modelTime: 1188  solveTime: 44126  totalTime: 45323  modelSize: 41293  readTime: 9 size: 14