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