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