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