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