(2,19) (3,28) (4,21) (6,24) (7,17) (8,16) (10,30) (11,22) (12,27) (14,26) (15,18) 
nodes: 1005  conflicts: 86  modelTime: 677  solveTime: 704  totalTime: 1388  modelSize: 41301  readTime: 7 size: 11