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