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