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