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