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