(2,16) (3,29) (4,27) (5,30) (6,23) (7,20) (8,28) (9,19) (10,21) (11,17) (12,25) (14,18) (15,26) 
nodes: 1381  conflicts: 44  modelTime: 683  solveTime: 3011  totalTime: 3700  modelSize: 41293  readTime: 6 size: 13