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