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