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