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