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