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