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