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