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