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