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