(1,24) (2,4) (3,14) (5,19) (6,29) (7,30) (8,11) (9,18) (10,26) (12,16) (13,20) (15,27) (17,22) (21,23) (25,28) 
nodes: 14308  conflicts: 46  modelTime: 956  solveTime: 35647  totalTime: 36632  modelSize: 72272  readTime: 29 size: 15