(1,17) (2,14) (3,26) (4,25) (5,21) (6,18) (7,30) (8,12) (9,20) (10,13) (11,29) (15,23) (16,27) (19,22) (24,28) 
nodes: 141787  conflicts: 41  modelTime: 1711  solveTime: 535182  totalTime: 536911  modelSize: 72275  readTime: 18 size: 15