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