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