(2,20) (3,28) (4,24) (5,18) (7,26) (8,30) (9,27) (10,16) (11,21) (12,22) (13,17) (14,19) (15,23) 
nodes: 2739  conflicts: 37  modelTime: 658  solveTime: 3093  totalTime: 3758  modelSize: 41292  readTime: 7 size: 13