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