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