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