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