(1,19) (2,26) (3,20) (4,23) (5,16) (6,25) (7,29) (8,30) (9,28) (11,18) (12,22) (13,24) (14,21) (15,27) 
nodes: 23392  conflicts: 15  modelTime: 1183  solveTime: 74086  totalTime: 75279  modelSize: 41293  readTime: 10 size: 14