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