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