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