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