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