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