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