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