(1,29) (2,18) (3,17) (4,23) (5,16) (6,26) (7,25) (8,21) (9,22) (10,30) (11,27) (12,19) (14,28) 
nodes: 2333  conflicts: 44  modelTime: 660  solveTime: 3533  totalTime: 4199  modelSize: 41298  readTime: 6 size: 13