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