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