(1,27) (2,21) (3,29) (4,22) (5,23) (6,30) (7,28) (8,25) (10,20) (11,19) (12,26) (13,17) (14,18) 
nodes: 1901  conflicts: 43  modelTime: 660  solveTime: 2712  totalTime: 3379  modelSize: 41292  readTime: 7 size: 13