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