(2,15) (3,30) (4,18) (5,19) (6,16) (7,26) (8,27) (9,10) (12,17) (13,23) (20,24) (21,22) (25,29) 
nodes: 2618  conflicts: 76  modelTime: 1717  solveTime: 11609  totalTime: 13348  modelSize: 72262  readTime: 22 size: 13