(1,30) (2,6) (3,29) (4,20) (5,13) (7,14) (8,21) (10,28) (11,16) (15,26) (17,25) (18,19) (22,24) (23,27) 
nodes: 100229  conflicts: 40  modelTime: 1724  solveTime: 344882  totalTime: 346630  modelSize: 72266  readTime: 24 size: 14