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