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