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