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