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