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