(1,28) (2,13) (3,29) (4,23) (5,22) (6,19) (7,21) (8,20) (9,17) (10,24) (11,12) (14,26) (15,18) (16,25) (27,30) 
nodes: 1626  conflicts: 6  modelTime: 964  solveTime: 11303  totalTime: 12275  modelSize: 72264  readTime: 8 size: 15