(1,9) (2,30) (3,6) (4,21) (5,17) (7,18) (8,20) (10,25) (11,24) (12,13) (14,27) (15,19) (16,26) (22,28) (23,29) 
nodes: 206855  conflicts: 26  modelTime: 1717  solveTime: 601890  totalTime: 603643  modelSize: 72269  readTime: 36 size: 15