(1,13) (2,23) (3,15) (4,22) (5,8) (6,18) (9,16) (10,19) (11,14) (12,26) (17,25) (20,29) (21,30) (24,27) 
nodes: 26009  conflicts: 58  modelTime: 1461  solveTime: 141786  totalTime: 143267  modelSize: 72266  readTime: 20 size: 14