(2,10) (3,15) (4,13) (5,12) (6,7) (8,11) (9,22) (14,18) (16,19) (17,25) (20,28) (21,29) (23,27) (26,30) 
nodes: 127751  conflicts: 71  modelTime: 1732  solveTime: 621259  totalTime: 623011  modelSize: 72266  readTime: 20 size: 14