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