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