(1,21) (2,30) (3,22) (4,17) (5,24) (6,26) (7,27) (8,25) (9,18) (10,28) (12,16) (13,19) (14,29) (15,23) 
nodes: 8303  conflicts: 15  modelTime: 1188  solveTime: 24140  totalTime: 25344  modelSize: 41293  readTime: 16 size: 14