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