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