(1,13) (2,22) (3,19) (4,6) (5,24) (7,17) (8,23) (9,30) (11,14) (12,27) (15,18) (16,28) (20,29) (25,26) 
nodes: 57496  conflicts: 33  modelTime: 938  solveTime: 289084  totalTime: 290034  modelSize: 72269  readTime: 11 size: 14