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