(1,29) (2,5) (3,8) (4,24) (7,13) (9,16) (10,28) (11,26) (12,18) (14,19) (15,17) (20,23) (22,27) (25,30) 
nodes: 20436  conflicts: 31  modelTime: 1382  solveTime: 99426  totalTime: 100827  modelSize: 72275  readTime: 19 size: 14