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