(1,22) (2,26) (4,19) (5,30) (6,27) (7,23) (8,17) (9,29) (10,16) (11,20) (12,28) (14,21) (15,24) 
nodes: 6333  conflicts: 38  modelTime: 663  solveTime: 12601  totalTime: 13272  modelSize: 41293  readTime: 7 size: 13