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