(1,27) (2,16) (3,20) (5,18) (6,26) (7,25) (8,29) (9,30) (11,23) (13,17) (14,19) 
nodes: 1473  conflicts: 69  modelTime: 667  solveTime: 1202  totalTime: 1876  modelSize: 41292  readTime: 7 size: 11