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