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