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