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