(1,2) (3,19) (4,23) (5,18) (6,10) (7,26) (8,16) (9,11) (12,27) (13,24) (14,17) (20,21) (22,28) (25,30) 
nodes: 599  conflicts: 77  modelTime: 945  solveTime: 3460  totalTime: 4416  modelSize: 72262  readTime: 11 size: 14