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