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