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