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