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